624 search results - page 101 / 125 » Reasoning with Expressive Description Logics: Theory and Pra... |
LATA
2009
Springer
14 years 3 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
ATAL
2006
Springer
14 years 11 days ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
TIME
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— We present a speciï¬cation language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
AGP
2003
IEEE
14 years 1 months ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...