Compiling defeasible inheritance networks to general logic programs

DOI10.1016/S0004-3702(99)00055-7zbMATH Open0939.68573OpenAlexW2079274525WikidataQ127898387 ScholiaQ127898387MaRDI QIDQ1978385FDOQ1978385

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

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

zbMATH Keywords

nonmonotonic reasoninglogic programmingdefeasible inheritance

Mathematics Subject Classification ID

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

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)