More on representation theory for default logic

DOI10.1006/INCO.2001.2966MaRDI QIDQ1854447zbMATH OpenOpenAlexFDO

Authors Kaile Su

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.2001.2966

zbMATH Keywords

default logicdefault theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Constraints on extensions of a default theory
• Representation theory for default logic
• scientific article; zbMATH DE number 1500177
• A solution to a problem of Marek and Truszcyński
• Representability in Default Logic

Cites work

• A logic for default reasoning
• A solution to a problem of Marek and Truszcyński
• A theory of diagnosis from first principles
• Default logic about assertions
• scientific article; zbMATH DE number 44622 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1503641 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 194964 (Why is no real title available?)
• scientific article; zbMATH DE number 1416106 (Why is no real title available?)
• Querying disjunctive databases through nonmonotonic logics
• Representation theory for default logic
• Semi-representability of default theories in rational default logic
• Tractable reasoning in artificial intelligence

Cited in

(10)

• Representation theory for default logic
• Fixed-parameter tractability of disjunction-free default reasoning
• Yet some more complexity results for default logic
• scientific article; zbMATH DE number 97791 (Why is no real title available?)
• scientific article; zbMATH DE number 408781 (Why is no real title available?)
• scientific article; zbMATH DE number 1500177 (Why is no real title available?)
• Semi-representability of default theories in rational default logic
• Representability of default logic in artificial intelligence
• Representability in Default Logic
• Constraints on extensions of a default theory

This page was built for publication: More on representation theory for default logic

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