1917 search results - page 41 / 384 » Experimenting with Nonmonotonic Reasoning |
ILP
2000
Springer
14 years 11 days ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
IJCAI
2001
13 years 10 months ago
2001
The Principle of Minimal Change is prevalent in various guises throughout the development of areas such as reasoning about action, belief change and nonmonotonic reasoning. Recent...
AICOM
2010
13 years 9 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
DFKI
2005
Springer
14 years 2 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
DLOG
2003
13 years 10 months ago
2003
In this paper we describe our work on representing and constructing ontologies for breast mammography, which is part of planned set of comprehensive breast imaging and pathology o...