1581 search results - page 71 / 317 » Mechanizing Inductive Reasoning |
163
click to vote
DLOG
2004
15 years 7 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
174
click to vote
FLAIRS
2001
15 years 7 months ago
2001
This paper presents arguments for the application of a multiagent approach to spatial reasoning, and it is shown how spatial reasoning benefits from an agent-based implementation....
184
click to vote
RULEML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
169
click to vote
SGAI
2009
Springer
15 years 10 months ago
2009
Springer
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
146
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
Qualitative Reasoning is characterised by making knowledge explicit in order to arrive at efficient reasoning techniques. It contrasts with often intractable quantitative models. W...