3970 search results - page 139 / 794 » A Logic For Causal Reasoning |
AMAI
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
FOIKS
2006
Springer
13 years 11 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
CADE
2007
Springer
14 years 8 months ago
2007
Springer
CADE
2006
Springer
14 years 8 months ago
2006
Springer