802 search results - page 118 / 161 » On the formal semantics of IF-like logics |
DAGSTUHL
1998
13 years 9 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
Substantial efforts have been made in order to cope with disjunctions in constraint based grammar formalisms (e.g. [Kasper, 1987; Maxwell and Kaplan, 1991; DSrre and Eisele, 1990]...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
ISOLA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
HASE
1999
IEEE
14 years 16 days ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...