scientific article; zbMATH DE number 516983

MaRDI QIDQ4282499zbMATH OpenFDO

Authors Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider

Publication date 17 March 1994

zbMATH Keywords

logic programmingprocess model for default logicPrologsemantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• A correct logic programming computation of default logic extensions
• Operational concepts of nonmonotonic logics. I: Default logic
• scientific article; zbMATH DE number 980413
• Tableau-based characterization and theorem proving for default logic
• scientific article; zbMATH DE number 1748572

Cited in

(17)

• Prolog technology for default reasoning: proof theory and compilation techniques
• Splitting finite default theories: A comparison of two approaches
• Operational characterization of extensions in some logics for default reasoning
• Default extensions: Dealing with computer information
• Computing with default logic
• Modeling simultaneous events with default reasoning and tight derivations
• Realizing Default Logic over Description Logic Knowledge Bases
• scientific article; zbMATH DE number 124281 (Why is no real title available?)
• scientific article; zbMATH DE number 980413 (Why is no real title available?)
• scientific article; zbMATH DE number 2079775 (Why is no real title available?)
• scientific article; zbMATH DE number 1748572 (Why is no real title available?)
• scientific article; zbMATH DE number 1759372 (Why is no real title available?)
• \textsf{dl2asp}: implementing default logic via answer set programming
• A system for computing constrained default logic extensions
• Computing default extensions. A heuristic approach
• A correct logic programming computation of default logic extensions
• On the complexity of extension checking in default logic

This page was built for publication:

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