A query answering algorithm for Lukaszewicz' general open default theory

DOI10.1007/3-540-61630-6_14zbMath1427.68288OpenAlexW1591988937MaRDI QIDQ5236435

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)

Related Items (1)

Alternative foundations for Reiter's default logic

Cites Work

• Unnamed Item
• Unnamed Item
• On prediction in Theorist
• A logical framework for default reasoning
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• Linear resolution for consequence finding
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Analytic tableaux for default logics

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