The dramatic true story of the frame default

DOI10.1007/S10992-014-9332-8MaRDI QIDQ2341259zbMATH OpenOpenAlexFDO

Authors Vladimir Lifschitz

Publication date 23 April 2015

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-014-9332-8

zbMATH Keywords

answer set programmingcommonsense reasoningdefault logicframe problem

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1390359
• scientific article; zbMATH DE number 1664923
• A logical framework for default reasoning
• scientific article; zbMATH DE number 89002
• Nonmonotonic reasoning in the framework of situation calculus

Cites work

• A logic for default reasoning
• Conflict-driven answer set solving: from theory to practice
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programs with stable model semantics as a constraint programming paradigm
• Nonmonotonic logic and temporal projection
• Representing actions in logic programs and default theories a situation calculus approach
• The DLV system for knowledge representation and reasoning

Cited in

(1)

• The truth about defaults

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: The dramatic true story of the frame default

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