2214 search results - page 85 / 443 » Complexity of Reasoning |
168
click to vote
TPHOL
2006
IEEE
15 years 9 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
116
click to vote
GIS
1998
ACM
15 years 2 months ago
1998
ACM
This paper describes the implementation of a triangulation based collapse algorithm in the general-purpose object oriented DBMS Magnum. The contribution of the paper is twofold. F...
109
Voted
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
142
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
106
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...