Argumentation using temporal knowledge

Frontiers in Artificial Intelligence and Applications

Volumn 172, Issue 1, 2008, Pages 204-215

  Mann, Nicholas ^a   Hunter, Anthony ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Argumentation systems; Arguments; Temporal argumentation

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC;

ARGUMENT; ARGUMENTATION SYSTEMS; CONSISTENT SUBSET; LOGIC-BASED ARGUMENTATIONS; PROPOSITIONAL LOGIC; TEMPORAL ARGUMENTATIONS; TEMPORAL KNOWLEDGE;

CALCULATIONS;

EID: 84875927306     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. H. Prakken and G. Vreeswijk. Logics for defeasible argumentation. In D. Gabbay, editor, Handbook of Philosophical Logic. Kluwer, 2000.
2. C. I. Chesñevar, A. Maguitman, and R. Loui. Logical models of argument. ACM Computing Surveys, 32(4):337-383, 2000.
3. Ph. Besnard and A. Hunter. Elements of Argumentation. MIT Press, 2008.
4. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic progamming and n-person games. Artificial Intelligence, 77:321-357, 1995.
5. A. Garcia and G. Simari. Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming, 4(1):95-138, 2004.
6. Ph. Besnard and A. Hunter. A logic-based theory of deductive arguments. Artificial Intelligence, 128:203-235, 2001.
7. L. Amgoud and C. Cayrol. A reasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence, 34:197-216, 2002.
8. Ph. Besnard and A. Hunter. Practical first order argumentation. In Procceedings of the 20th American National Conference on Artificial Intelligence (AAAI'2005). MIT Press, 2005.
9. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
10. A. Prior. Past, Present and Future. Clarenden Press, Oxford, 1967.
11. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123-154, 1984.
12. A. Hunter. Ramification analysis with structured news reports using temporal argumentation. In Proceedings of the Adventures in Argumentation Workshop (part of the Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty). Institut de Recherche en Informatique de Toulouse, 2001.
13. J. C. Augusto and G. Simari. A temporal argumentation system. AI Communications, 12(4):237-257, 1999.
14. C. Hamblin. Instants and intervals. In J. F. H. Fraser and G. Muller, editors, The Study of Time, pages 324-328. Springer, 1972.
15. Y. Shoham. Temporal logics in ai: Semantic and ontological considerations. Artificial Intelligence, 33:89-104, 1987.