485 search results - page 1 / 97 » Knowledge Compilation for Description Logics |
KI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
FLAIRS
2009
13 years 3 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
EACL
2003
ACL Anthology
13 years 6 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...