Compiling defeasible inheritance networks to general logic programs

DOI10.1016/S0004-3702(99)00055-7MaRDI QIDQ1978385zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 4 June 2000

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(99)00055-7

zbMATH Keywords

nonmonotonic reasoninglogic programmingdefeasible inheritance

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2087247
• scientific article; zbMATH DE number 2090541
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• Embedding defeasible logic into logic programming
• Defeasible inheritance on cyclic networks

Cited in

(4)

• Defeasible inheritance on cyclic networks
• Nonmonotonic inheritance, argumentation and logic programming
• An argument-based approach to reasoning with specificity
• Dealing Automatically with Exceptions by Introducing Specificity in ASP

This page was built for publication: Compiling defeasible inheritance networks to general logic programs

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