Nonmonotonic inheritance, argumentation and logic programming

DOI10.1007/3-540-59487-6_23MaRDI QIDQ5101459zbMATH OpenOpenAlexFDO

Authors Phan Minh Dung, Tran Cao Son

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59487-6_23

Mathematics Subject Classification ID

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

Recommendations

• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Compiling defeasible inheritance networks to general logic programs
• On the relationship between annotated logic programs and nonmonotonic formalisms
• scientific article; zbMATH DE number 1926641
• A skeptical theory of inheritance in nonmonotonic semantic networks

Cites work

• A mathematical treatment of defeasible reasoning and its implementation.
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Abductive Logic Programming
• Conditional entailment: bridging two approaches to default reasoning.
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 67505 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 6957 (Why is no real title available?)
• Non-monotonic logic. I
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• The well-founded semantics for general logic programs

Cited in

(14)

• Resolving ambiguity in nonmonotonic inheritance hierarchies
• Inheritance comes of age: applying nonmonotonic techniques to problems in industry
• On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies
• An abstract, argumentation-theoretic approach to default reasoning
• Nonmonotonic inheritance in object-oriented deductive database languages
• scientific article; zbMATH DE number 4176493 (Why is no real title available?)
• scientific article; zbMATH DE number 4176500 (Why is no real title available?)
• scientific article; zbMATH DE number 4104926 (Why is no real title available?)
• On the semantics of inheritance networks
• scientific article; zbMATH DE number 6957 (Why is no real title available?)
• On the relationship between annotated logic programs and nonmonotonic formalisms
• An argument-based approach to reasoning with specificity
• Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments
• Nonmonotonic reasoning by monotonic inferences with priority constraints

This page was built for publication: Nonmonotonic inheritance, argumentation and logic programming

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