Argumentation Using Temporal Knowledge

Authors:
Nicholas Mann;Anthony Hunter
Affiliations:
Department of Computer Science, University College London, Gower Street, London, WC1E 6BT, UK;Department of Computer Science, University College London, Gower Street, London, WC1E 6BT, UK
Venue:
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Year:
2008

Citing 11
Cited 12

Towards a general theory of action and time

Artificial Intelligence
A logic-based calculus of events

New Generation Computing
Temporal logics in AI: semantical and ontological considerations

Artificial Intelligence
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Logical models of argument

ACM Computing Surveys (CSUR)
A logic-based theory of deductive arguments

Artificial Intelligence
A Reasoning Model Based on the Production of Acceptable Arguments

Annals of Mathematics and Artificial Intelligence
Defeasible logic programming: an argumentative approach

Theory and Practice of Logic Programming
A temporal argumentative system

AI Communications
Elements of Argumentation

Elements of Argumentation
Practical first-order argumentation

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2

Base Logics in Argumentation

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
On Admissibility in Timed Abstract Argumentation Frameworks

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Modal and temporal argumentation networks

Time for verification
Temporal accommodation of legal argumentation

Proceedings of the 13th International Conference on Artificial Intelligence and Law
t-DeLP: a temporal extension of the defeasible logic programming argumentative framework

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Stable extensions in timed argumentation frameworks

TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Temporal defeasible argumentation in multi-agent planning

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Extending a temporal defeasible argumentation framework with possibilistic weights

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
An approach to argumentation considering attacks through time

SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Structural properties for deductive argument systems

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Computing temporal defeasible logic

RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

Proposals for logic-based argumentation have the potential to be adapted for handling diverse kinds of knowledge. In this paper, a calculus for representing temporal knowledge is proposed, and defined in terms of propositional logic. This calculus is then considered with respect to argumentation, where an argument is pair such that Φ a minimally consistent subset of a database entailing α. Two alternative definitions of an argument are considered and contrasted.