1087 search results - page 155 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
145
click to vote
FLAIRS
2009
14 years 7 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...
104
click to vote
ENC
2004
IEEE
15 years 1 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
IJMSO
2006
14 years 10 months ago
2006
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...