2500 search results - page 367 / 500 » Logical Semantics of Modularisation |
181
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
149
click to vote
WOLLIC
2009
Springer
16 years 29 days ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
142
click to vote
ICCS
2009
Springer
16 years 28 days ago
2009
Springer
This paper is an extended abstract of the talk given at ICCS’09. Rules have long been considered as an essential component of knowledge-based systems. We focus here on conceptual...
143
click to vote
LPNMR
2009
Springer
16 years 28 days ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
140
click to vote
ISVC
2007
Springer
16 years 15 days ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...