Keyword

default logic

Description: Default logic is a nonmonotonic formal logic for representing conclusions that hold normally but may be withdrawn when new information becomes available.

Primary topic: Logic, Reasoning, and Knowledge (87%)

Wikidata ID: wiki/Q842421

OpenAlex ID: keywords/default-logic

Defaults in update semantics

1996 · Frank Veltman · Journal of Philosophical Logic · 829

PDF

A logical framework for default reasoning

1988 · David Poole · Artificial Intelligence · 720

An abstract, argumentation-theoretic approach to default reasoning

1997 · A. Bondarenko, P.M. Dung, et al. · Artificial Intelligence · 666

PDF

The mathematics of inheritance systems

1984 · David S. Touretzky · CERN Document Server (European Organization for Nuclear Research) · 593

Multivalued logics: a uniform approach to reasoning in artificial intelligence

1988 · Matthew L. Ginsberg · Computational Intelligence · 521

Nonmonotonic Reasoning

1997 · Grigoris Antoniou · The MIT Press eBooks · 513

Solving the frame problem: A mathematical investigation of the common sense law of inertia

1997 · Computers & Mathematics with Applications · 404

Semi-stable semantics

2011 · M. W. A. Caminada, W. A. Carnielli, et al. · Journal of Logic and Computation · 358

Complexity Results for Nonmonotonic Logics

1992 · GEORG GOTTLOB · Journal of Logic and Computation · 342

Handbook of Defeasible Reasoning and Uncertainty Management Systems

2010 · Philippe Smets, Dov M. Gabbay · Dialnet (Universidad de la Rioja) · 333

System Z : A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning

2022 · Judea Pearl · ACM eBooks · 320

Logic Programming and Nonmonotonic Reasoning

2011 · Delgrande, J, Faber, Wolfgang · Lecture notes in computer science · 320

On the relation between default and autoepistemic logic

1988 · Kurt Konolige · Artificial Intelligence · 318

General theory of cumulative inference

1989 · David Makinson · Lecture notes in computer science · 311

Embedding defaults into terminological knowledge representation formalisms

1993 · Baader, Franz, Hollunder, Bernhard · 269

Nonmonotonic Logic

1993 · V. Wiktor Marek, Mirosław Truszczyński · Artificial intelligence · 266

Well-Founded Semantics Coincides with Three-Valued Stable Semantics1

1990 · Teodor Przymusinski · Fundamenta Informaticae · 258

In defense of probability

1985 · Peter Cheeseman · 258

Preferred answer sets for extended logic programs

1999 · Gerhard Brewka, Thomas Eiter · Artificial Intelligence · 246

PDF

Conditional logics of normality: A modal approach

1994 · Craig Boutilier · Artificial Intelligence · 234

Hard problems for simple default logics

1991 · Henry A. Kautz, Bart Selman · Artificial Intelligence · 233

Open Information Systems Semantics for distributed artificial intelligence

1991 · Carl Hewitt · Artificial Intelligence · 222

On the comparison of theories: preferring the most specific explanation

1985 · David Poole · 211

An Application of Default Logic to Speech Act Theory

1990 · C. Raymond Perrault · The MIT Press eBooks · 203

Abductive and default reasoning: a computational core

1990 · Bart Selman, Hector J. Levesque · National Conference on Artificial Intelligence · 200

Works count: 1,830

Citation count: 26,720