324 search results - page 35 / 65 » Repairing Incomplete Reasoners |
SIGMOD
2010
ACM
15 years 11 hour ago
2010
ACM
Information extraction systems are increasingly being used to mine structured information from unstructured text documents. A commonly used unsupervised technique is to build iter...
100
click to vote
RULEML
2005
Springer
15 years 5 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
107
click to vote
AAAI
1994
15 years 1 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
102
click to vote
COSIT
1999
Springer
15 years 4 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
ECAI
1992
Springer
15 years 3 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...