Compiling defeasible inheritance networks to general logic programs

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

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)

Cited In (3)

• Defeasible inheritance on cyclic networks
• An argument-based approach to reasoning with specificity
• Dealing Automatically with Exceptions by Introducing Specificity in ASP

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Interdefinability of defeasible logic and logic programming under the well-founded semantics 👍 👎
• Embedding defeasible logic into logic programming 👍 👎
• Defeasible inheritance on cyclic networks 👍 👎

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)