1498 search results - page 17 / 300 » Description logic for coalitions |
IJCAI
2003
15 years 20 days ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
AAAI
2007
15 years 1 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
IANDC
2010
14 years 9 months ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
AMAI
2000
Springer
14 years 11 months ago
2000
Springer
principled ones
104
click to vote
DLOG
2001
15 years 21 days ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...