1529 search results - page 54 / 306 » An Abstraction Method Using a Semantic Engine Based on Langu... |
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
MM
2005
ACM
14 years 1 months ago
2005
ACM
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
ASM
2005
ASM
14 years 1 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
WWW
2002
ACM
13 years 7 months ago
2002
ACM
In this paper we present a graphical query language for XML. The language, based on a simple form of graph grammars, permits us to extract data and reorganize information in a new...