Nonmonotonic inheritance, argumentation and logic programming

DOI10.1007/3-540-59487-6_23zbMath1496.68321OpenAlexW1481461131MaRDI QIDQ5101459

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 in artificial intelligence (68T27) Logic programming (68N17)

Related Items (3)

An abstract, argumentation-theoretic approach to default reasoning ⋮ Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments ⋮ An argument-based approach to reasoning with specificity

Cites Work

• A mathematical treatment of defeasible reasoning and its implementation.
• Conditional entailment: bridging two approaches to default reasoning.
• Non-monotonic logic. I
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• A skeptical theory of inheritance in nonmonotonic semantic networks
• The well-founded semantics for general logic programs
• Abductive Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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