|
1177
|
A logic for default reasoning
– Reiter
- 1979
|
|
214
|
Negation in logic programming
– Kunen
- 1987
|
|
182
|
Autoepistemic logic
– Marek, Truszczynski
- 1991
|
|
156
|
Making PROLOG more expressive
– Lloyd, Topor
- 1984
|
|
120
|
Defeasible logic
– Nute
- 1994
|
|
108
|
A clash of intuitions: The current state of nonmonotonic multiple inheritance systems
– Touretzky, Horty, et al.
- 1987
|
|
84
|
A skeptical theory of inheritance in nonmonotonic semantic networks
– Horty, Thomason, et al.
- 1990
|
|
58
|
Nonmonotonic Logics
– Marek, Truszczyiski
- 1993
|
|
55
|
Logic programming without negation as failure
– Dimopoulos, Kakas
- 1995
|
|
47
|
Defeasible logic is stable
– Billington
- 1993
|
|
46
|
Defeasible logic versus logic programming without negation as failure
– Antoniou, Maher, et al.
|
|
44
|
Defeasible Reasoning
– Nute
- 1987
|
|
39
|
Inheritance comes of age: Applying nonmonotonic techniques to problems in industry
– Morgenstern
- 1998
|
|
38
|
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
– Prakken
- 1997
|
|
37
|
Efficient Defeasible Reasoning Systems
– Maher, Rock, et al.
- 2001
|
|
26
|
Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
– Stein
- 1992
|
|
24
|
Ex contradictione nihil sequitur
– Wagner
- 1991
|
|
23
|
Normal forms for defeasible logic
– Antoniou, Billington, et al.
- 1998
|
|
22
|
A Study of Provability in Defeasible Logic
– Maher, Antoniou, et al.
- 1998
|
|
22
|
Governatori G. A Semantic Decomposition of Defeasible Logics
– Maher
- 1999
|
|
21
|
A Modular Translation from Defeasible Nets to Defeasible Logic
– Billington, Coster, et al.
- 1990
|
|
1
|
Circumscription – A Form of Non-Monotonic Reasoning
– NcCarthy
- 1980
|
