Expressing Default Logic Variants in Default Logic

DOI10.1093/logcom/exi021zbMath1091.03010OpenAlexW2100078804MaRDI QIDQ3374095

James P. Delgrande, Torsten Schaub

Publication date: 9 March 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi021

zbMATH Keywords

knowledge representationdefault logicnonmonotonic reasoning

Mathematics Subject Classification ID

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

Related Items (2)

Redundancy in logic. III: Non-monotonic reasoning ⋮ Unnamed Item

Uses Software

• Smodels
• CCalc

This page was built for publication: Expressing Default Logic Variants in Default Logic