A query answering algorithm for Lukaszewicz' general open default theory

DOI10.1007/3-540-61630-6_14zbMATH Open1427.68288OpenAlexW1591988937MaRDI QIDQ5236435FDOQ5236435

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

Recommendations

• scientific article; zbMATH DE number 1301757
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Tableau-based characterization and theorem proving for default logic
• scientific article; zbMATH DE number 1302383
• scientific article; zbMATH DE number 408775

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Linear resolution for consequence finding
• Title not available (Why is that?)
• A logic for default reasoning
• A logical framework for default reasoning
• Title not available (Why is that?)
• Cumulative default logic: In defense of nonmonotonic inference rules
• On prediction in Theorist
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Analytic tableaux for default logics

Cited In (2)

• A new methodology for query answering in default logics via structure-oriented theorem proving
• Alternative foundations for Reiter's default logic

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)