Skip header Section
Skip Bibliometrics Section
Introduction to Default LogicNovember 1989
- Author:
- Philippe Besnard
Abstract
No abstract available.
Cited By
Sanen F, Truyen E and Joosen W (2009). Mapping problem-space to solution-space features, ACM SIGPLAN Notices, 45:2, (167-176), Online publication date: 1-Feb-2010.- Ma$#322;uszy$#324;ski J and Sza$#322;as A Living with inconsistency and taming nonmonotonicity Proceedings of the First international conference on Datalog Reloaded, (384-398)
- Sanen F, Truyen E and Joosen W Mapping problem-space to solution-space features Proceedings of the eighth international conference on Generative programming and component engineering, (167-176)
- Liberatore P (2008). Redundancy in logic III, Artificial Intelligence, 172:11, (1317-1359), Online publication date: 1-Jul-2008.
- Truszczyński M Nonmonotonic logics and their algebraic foundations Proceedings of the 20th international conference on Computer Science Logic, (58-71)
- Besnard P, Schaub T, Tompits H and Woltran S Representing paraconsistent reasoning via quantified propositional logic Inconsistency Tolerance, (84-118)
- Voorbraak F (2004). A nonmonotonic observation logic, Artificial Intelligence, 157:1-2, (281-302), Online publication date: 1-Aug-2004.
- Hunter A (2019). A Default Logic Based Framework for Context-Dependent Reasoning with Lexical Knowledge, Journal of Intelligent Information Systems, 16:1, (65-87), Online publication date: 1-Jan-2001.
- Su K (2001). Constraints on extensions of a default theory, Journal of Computer Science and Technology, 16:4, (329-340), Online publication date: 1-Jul-2001.
- Morgan C (2019). The Nature of Nonmonotonic Reasoning, Minds and Machines, 10:3, (321-360), Online publication date: 1-Aug-2000.
- Kutar M, Britton C and Nehaniv C Specifying multiple time granularities in interactive systems Proceedings of the 7th international conference on Design, specification, and verification of interactive systems, (51-63)
- Antoniou G (1999). A tutorial on default logics, ACM Computing Surveys (CSUR), 31:4, (337-359), Online publication date: 1-Dec-1999.
- Engelfriet J and Treur J (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic, Journal of Logic, Language and Information, 7:3, (369-388), Online publication date: 1-Jul-1998.
- Konar A and Mandal A (1996). Uncertainty Management in Expert Systems Using Fuzzy Petri Nets, IEEE Transactions on Knowledge and Data Engineering, 8:1, (96-105), Online publication date: 1-Feb-1996.
- Parsons S (1996). Current Approaches to Handling Imperfect Information in Data and Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, 8:3, (353-372), Online publication date: 1-Jun-1996.
- Saint-Dizier P Default logic, natural language and Generalized Quantifiers Proceedings of the 12th conference on Computational linguistics - Volume 2, (555-560)
Recommendations
Compiling reasoning with and about preferences into default logic
IJCAI'97: Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory consists of a set of default rules, a set of world knowledge, and a set ...
Reasoning about priorities in default logic
AAAI'94: Proceedings of the Twelfth AAAI National Conference on Artificial IntelligenceIn this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the knowledge engineer to explicitly state all relevant priorities which are then ...
A Default Logic Patch for Default Logic
ECSQARU '09: Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with UncertaintyThis paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory, as default theories ...