3446 search results - page 29 / 690 » A Reasoning Algorithm for pD* |
156
click to vote
LPAR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
119
click to vote
AAMAS
2008
Springer
15 years 1 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
140
click to vote
ENTCS
2006
15 years 1 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
KR
1992
Springer
15 years 5 months ago
1992
Springer
An algorithm is presented which eliminates second
137
click to vote
DLOG
2011
14 years 4 months ago
2011
We show that, although conjunctive queries over OWL 2 QL ontologies are reducible to database queries, no algorithm can construct such a reduction in polynomial time without changi...