Defaults as restrictions on classical Hilbert-style proofs

DOI10.1007/BF01160020zbMath0827.03015OpenAlexW1974174939MaRDI QIDQ1895976

Fiora Pirri, Luigia Carlucci Aiello, Giambattista Amati

Publication date: 13 December 1995

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01160020

zbMATH Keywords

knowledge representationproof theorydefault logicnonmonotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compiling a default reasoning system into Prolog
• Formalizing nonmonotonic reasoning systems
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• On cumulative default logics
• Nonmonotonic inference based on expectations
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• Nonmonotonic inference operations
• A proof theoretical approach to default reasoning I: tableaux for default logic

This page was built for publication: Defaults as restrictions on classical Hilbert-style proofs