Computing Generalized Specificity

DOI10.3166/jancl.13.87-113zbMath1185.68679WikidataQ62583426 ScholiaQ62583426MaRDI QIDQ3647205

Guillermo R. Simari, Frieder Stolzenburg, Carlos Iván Chesñevar, Alejandro Javier García

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.13.87-113

zbMATH Keywords

knowledge representation; nonmonotonic reasoning; logic programming; defeasible reasoning

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68N17: Logic programming

Related Items

A logic programming framework for possibilistic argumentation: Formalization and logical properties, Preference-based argumentation: arguments supporting multiple values, On the Acceptability of Incompatible Arguments, Dialectical Explanations in Defeasible Argumentation, DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION

Cites Work

• A mathematical treatment of defeasible reasoning and its implementation.
• Abstract argumentation systems
• Relating defeasible and normal logic programming through transformation properties.
• Reasoning with logic programming
• Argument-based extended logic programming with defeasible priorities
• Defeasible logic versus Logic Programming without Negation as Failure
• Unnamed Item
• Unnamed Item