A query answering algorithm for Lukaszewicz' general open default theory

DOI10.1007/3-540-61630-6_14MaRDI QIDQ5236435zbMATH OpenOpenAlexFDO

Authors Viorica Ciorba

Publication date 8 October 2019

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61630-6_14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Tableau-based characterization and theorem proving for default logic
• Extension calculus and query answering in prioritized default logic
• scientific article; zbMATH DE number 408775

Cites work

• A logic for default reasoning
• A logical framework for default reasoning
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Analytic tableaux for default logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• scientific article; zbMATH DE number 194631 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Linear resolution for consequence finding
• On prediction in Theorist

Cited in

(3)

• Alternative foundations for Reiter's default logic
• A new methodology for query answering in default logics via structure-oriented theorem proving
• An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem

This page was built for publication: A query answering algorithm for Lukaszewicz' general open default theory

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