t-DeLP: an argumentation-based temporal defeasible logic programming framework

DOI10.1007/s10472-013-9334-1zbMath1314.68098OpenAlexW1971725752MaRDI QIDQ2248517

Pere Pardo, Lluís Godo

Publication date: 26 June 2014

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10261/249927

zbMATH Keywords

logic programmingtemporal reasoningargumentationnon-monotonic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic programming (68N17) Temporal logic (03B44)

Related Items

Bipolarity in temporal argumentation frameworks ⋮ Proximity semantics for topic-based abstract argumentation

Cites Work

• A logic-based calculus of events
• Temporal logic programming
• Nonmonotonic causal theories
• Reasoning about preferences in argumentation frameworks
• On the evaluation of argumentation formalisms
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• A reasoning model based on the production of acceptable arguments
• Relating defeasible and normal logic programming through transformation properties.
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Inferring from inconsistency in preference-based argumentation frameworks
• Reasoning about action and change. A dynamic logic approach
• Distant causation in \(\mathcal C+\)
• Argument-based extended logic programming with defeasible priorities
• Frame problem in dynamic logic
• Representing action and change by logic programs
• Defeasible Logic is Stable
• Ramification and causality in a modal action logic
• Merging structured text using temporal knowledge
• Defeasible logic programming: an argumentative approach
• Defeasible logic versus Logic Programming without Negation as Failure
• Formalizing action and change in modal logic I: the frame problem
• Temporal defeasible reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: t-DeLP: an argumentation-based temporal defeasible logic programming framework