1917 search results - page 41 / 384 » Experimenting with Nonmonotonic Reasoning |
99
Voted
ILP
2000
Springer
15 years 4 months 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...
98
Voted
IJCAI
2001
15 years 2 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
15 years 26 days 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...
109
Voted
DFKI
2005
Springer
15 years 6 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 ...
59
Voted
DLOG
2003
15 years 2 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...