@inproceedings{db6777b49e0f4ac5a3bcb9dad78c0799,
title = "A comparative survey of default logic variants",
abstract = "This is an overview paper on default logic and its variants. Default reasoning is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical diagnosis and leagal reasoning. Default logic in its original form suffers from some deficiencies, and several variants have been developed in the past years1. In this paper we give an overview of the most important of these variants by presenting their motivations and intuitions, and establishing relationships among the approaches. Besides, we give operational models for all logics discussed which allow for a better understanding of the concepts, and make the methods more easily accessbile to a broader audience and practical applications.",
keywords = "Default logic, Nonmonotonic practical reasoning mechanisms",
author = "Grigoris Antoniou",
year = "1996",
month = jan,
language = "English",
isbn = "9783540613138",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "15--28",
editor = "Gabbay, {Dov M.} and Ohlbach, {Hans Jurgen}",
booktitle = "Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings",
address = "Germany",
note = "International Conference on Formal and Applied Practical Reasoning, FAPR 1996 ; Conference date: 03-06-1996 Through 07-06-1996",
}