1588 search results - page 27 / 318 » On the Logic of Constitutive Rules |
143
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
299
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
211
click to vote
DLOG
2011
14 years 9 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
175
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
153
Voted
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...