Compiling default theory into extended logic programming

DOI10.1007/3-540-44399-1_22MaRDI QIDQ4471864zbMATH OpenFDO

Authors Berilhes Borges Garcia, Gabriel Pereira Lopes, Flávio Miguel Varejão

Publication date 30 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1952/19520207.htm

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 516983
• A correct logic programming computation of default logic extensions
• On the relation between default and autoepistemic logic
• Default theory for well founded semantics with explicit negation
• Towards default reasoning through MAX-SAT

Cited in

(4)

• Handling exceptions in logic programming without negation as failure
• Dealing Automatically with Exceptions by Introducing Specificity in ASP
• A system for computing constrained default logic extensions
• Compiling a default reasoning system into Prolog

This page was built for publication: Compiling default theory into extended logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471864)