4401 search results - page 6 / 881 » Computing with Default Logic |
NMR
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
AAAI
2000
13 years 10 months ago
2000
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
CI
2004
13 years 8 months ago
2004
We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we con...
ECAI
1998
Springer
14 years 24 days ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
IJCAI
1993
13 years 10 months ago
1993
