1435 search results - page 19 / 287 » Description Logics |
CADE
2005
Springer
14 years 3 months ago
2005
Springer
CADE
2009
Springer
14 years 2 months ago
2009
Springer
KI
2007
Springer
14 years 4 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
FUIN
2008
13 years 10 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...