1331 search results - page 164 / 267 » Description logic reasoning using the PTTP approach |
162
click to vote
LOPSTR
2005
Springer
15 years 12 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
148
click to vote
TIME
2005
IEEE
16 years 6 min ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
160
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...
177
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...
166
click to vote
IJAR
2007
15 years 6 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...