Temporal argumentative system

AI Communications

Volumn 12, Issue 4, 1999, Pages 237-257

  Augusto, Juan C ^a   Simari, Guillermo R ^a  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; HUMAN ENGINEERING; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING; SYSTEMS ANALYSIS;

DEDUCTIVE PROCESSES; DEFEASIBLE REASONING; TEMPORAL ARGUMENTATIVE SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0033332283     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (61)

1. J. Allen, H. Kautz, R. Pelavin and J. Tenenberg, Reasoning About Plans, Morgan Kaufmann, San Mateo, California, 1991.
2. J. Allen, Time and time again: The many ways to represent time, International Journal of Intelligence Systems 6 (1991), 341-355.
3. J. Allen and G. Ferguson, Actions and events in interval temporal logic, Journal of Logic and Computation 4 (1994), 531-579.
4. J.C. Augusto and G.R. Simari, Un sistema argumentativo con referencias a momentos de tiempo, in: Proceedings de las 23as Jornadas Argentinas en Informática e Investigación Operativa (JAIIO 94), SADIO, Buenos Aires, 1994, pp. 81-92.
5. J.C. Augusto, Razonamiento rebatible temporal, PhD thesis, Departamento de Cs. de la Computación, Universidad Nacional del Sur, Bahía Blanca, Argentina, 1998 (in Spanish).
6. F. Bacchus, J. Tenenberg and J. Koomen, A non-reified temporal logic, Artificial Intelligence 52 (1991), 87-108.
7. S. Badaloni and M. Berati, Dealing with time granularity in a temporal planning system, in: Proceedings of 1st Int. Conf. on Temporal Logic (FICTL 94), D. Gabbay and H. Ohlbach, eds, Bonn, Germany, 1994, pp. 101-116.
8. A. Baker and M. Ginsberg, Temporal projection and explanation, in: Proceedings of the 5th National Conference on Artificial Intelligence, 1989, pp. 906-911.
9. J.F.A.K. Van Benthem, The Logic of Time, second edition, Reidel, 1991.
10. A. Bondarenko, P.M. Dung, R. Kowalski and F. Toni, An abstract, argumentation-theoretic approach to default reasoning, Artificial Intelligence 93(1) (1997), 63-101.
11. C.I. Chesñevar, Stratifying defeasible rules in argumentative reasoning: a consistency-based approach, in: Proceedings del Primer Workshop sobre Aspectos Teoricos de Inteligencia Artificial, Buenos Aires, 1994.
12. D. Davidson, The logical form of action sentences, in: The Logic of Decision and Action, N. Rescher, ed, University of Pittsburgh Press, 1978.
13. T. Dean and D. McDermott, Temporal data base management, Artificial Intelligence 32 (1987), 1-55.
14. J. Euzenat, An algebraic approach to granularity in time representation, in: Proceedings of Time 95, 1995.
15. M.A. Falappa, J.C. Augusto and G.R. Simari, Actualization de bases de conocimiento con referencias temporales, in: Proceedings del 2do Congreso Argentino de Ciencias de la Computación, San Luis, Argentina, 1996, pp. 399-410.
16. M.A. Falappa and G.R. Simari, Construction of revision by explanations, in: Proceedings del V Encuentro Argentino Sobre Aspectos Teóricos de la Inteligencia Artificial, ATIA '98, 1998, pp. 933-946.
17. G. Ferguson and J. Allen, Arguing about plans: Plan representation and reasoning for mixed-initiative planning, in: Proceedings of Second Conference on AI Planning Systems, 1994.
18. G.M. Ferguson, Knowledge representation and reasoning for mixed-initiative planning, PhD thesis, Departament of Computer Science, Universitiy of Rochester, 1995.
19. A. Galton, A critique of Yoav Shoham's theory of causal reasoning, in: Proceedings of the 9th National Conference on Artificial Intelligence, Vol. 1, 1991, pp. 355-359.
20. A. García, C. Chesñevar and G. Simari, Bases de Argumentos: su Mantenimiento y Revisión, in: Proceedings of the XIX Latinoamerican Conference of Informatics, SADIO, Buenos Aires, 1993.
21. A. García, C. Chesñevar and G. Simari, Making Argument Systems Computationally Attractive, in: Proceedings of the XIII Latinoamerican Conference of the Chilean Society for Computer Science, CSCC, La Serena, 1993.
22. A. García and G. Simari, Strong and default negation in defeasible logic programming, in: IV Dutch-German Workshop on NonMonotonic Reasoning Techniques and their Applications (DGNMR 99), ILLC, University of Amsterdam, 1999, pp. 140-150.
23. M. Georgeff, The representation of events in multiagent domains, in: Proceedings of National Conference of Artificial Intelligence (AAAI 86), AAAI, Morgan Kaufmann Publishers, San Mateo, California, 1986, pp. 70-75.
24. I. Guzmán and C. Rossi, Lnint: a temporal logic that combines points and intervals and the absolute and relative approach, Bulletin of IGPL 3(1) (1995), 1-20.
25. S. Haack, Philosophy of Logics, Cambridge University Press, Cambridge, 1978.
26. A. Haas, The case for domain-specific frame axioms, in: Proceedings of the 1987 Workshop: The Frame Problem In Artificial Intelligence, F. Brown, ed., Morgan Kaufmann Publishers, San Mateo, California, 1987, pp. 243-348.
27. S. Hanks and D. McDermott, Default reasoning, nonmonotonic logics and the frame problem, in: Proceedings of the 4th National Conference on Artificial Intelligence, 1986, pp. 390-395.
28. S. Hanks and D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence 33 (1987), 379-412.
29. J.R. Hobbs, Granularity, in: Proceedings of the IJCAI 85, IJCAI, 1985, pp. 432-435.
30. J.A.W. Kamp, On Tense logic and the theory of order, PhD thesis, University of California, Los Angeles, 1968.
31. R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4 (1986), 67-95.
32. R. Kowalski, Database updates in the event calculus, Journal of Logic Programming 12 (1992), 121-146.
33. B. Pernici, L. Console and P. Terenziani, Later: a layered manager for heterogeneous temporal information. Technical report, Universitá di Udine, 1993.
34. V. Lifschitz, On the declarative semantics of logic programs with negation, in: Foundations of Deductive Databases and Logic Programming, J. Minker, ed., Morgan Kaufmann Publishers, Los Altos, CA, 1987, pp. 177-192.
35. F. Lin and Y. Shoham, Argument Systems: a uniform basis for nonmonotonic reasoning. Technical Report STAN-CS-89-1243, Stanford University, Department of Computer Science, Jan., 1989.
36. R.P. Loui, Defeat among arguments: a system of defeasible inference, Computational Intelligence 3(3), 1987.
37. J. McCarthy, Notes on formalizing context, in: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI 93), 1994, pp. 555-560.
38. L. Morgenstern and L. Stein, Why things go wrong: a formal theory of causal reasoning. Technical report, Brown University, Department of Computer Science, 1988.
39. D. Nute, Defeasible logic and the frame problem, in: Knowledge Representation and Defeasible Logic, H.E. Kyburg, R. Loui and G. Carlson, eds, Kluwer Academic Publishers, Boston, 1990, pp. 3-21.
40. R. Pelavin, A formal approach to planning with concurrent actions and external events. Technical report, University of Rochester, Departament of Computer Science, 1988.
41. R. Pelavin, Planning with simultaneous actions and external events, in: Reasoning About Plans, J. Allen, H. Kautz, R. Pelavin and J. Tenenberg, eds, Morgan Kaufmann, San Mateo, California, 1991, pp. 127-212.
42. J. Pinto, Temporal reasoning in the situation calculus, PhD thesis, University of Toronto, 1994.
43. J. Pollock, How to reason defeasibly, Artificial Intelligence 57(1) (1992), 1-42.
44. H. Prakken, Logical tools for modelling legal arguments, PhD thesis, Vrije Universiteit, 1993.
45. A. Prior, Past, Present and Future, Clarendon Press, 1967.
46. H. Reichgelt, A comparison of first order and modal logics of time, in: Logic Based Knowledge Representation, P. Jackson, H. Reichgelt and F. van Harmelen, eds, MIT Press, Cambridge, Mass., 1989, pp. 143-176.
47. R. Reiter, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression, in: Artificial Intelligence and mathematical Theory of Computation, V. Lifschitz, ed., Academic Press, San Mateo, California, 1991, pp. 359-380.
48. N. Rescher and A. Urquart, Temporal Logic, Springer Verlag, 1971.
49. R.V. Guha, Contexts: a formalization and some applications. PhD thesis, Computer Science Departament, Stanford University, 1991.
50. E. Sandewall, Features and Fluents, Oxford University Press, Oxford, 1994.
51. L. Schubert, Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions, in: Knowledge Representation and Defeasible Reasoning, H. Kyburg, R. Loui and G. Carlson, eds, Kluwer Academic Publisher, 1990.
52. Y. Shoham, Chronological ignorance: Experiments in nonmonotonic temporal reasoning, Artificial Intelligence 36 (1988), 279-331.
53. G. Simari, C. Chesñevar and A. García, Focusing inference in defeasible argumentation, in: Proceedings de la Conferencia Iberoamericana de Inteligencia Artificial, Carcas, Venezuela, 1994.
54. G. Simari, C. Chesñevar and A. García, The role of dialectics in defeasible reasoning argumentation, in: Proceedings of the XIV Conferencia Internacional de la Sociedad Chilena de Ciencia de la Computación, C.Y. Peralta and R. Isaac, eds, Sociedad Chilena de Ciencia de la Computación, Santiago, Chile, 1994, pp. 111-121.
55. G.R. Simari and J.C. Augusto, On the construction of temporal arguments, in: Proceedings de la XV Conferencia Internacional de Ciencias de la Computación (SCCC '95), Arica, Chile, 1995, pp. 402-413.
56. G. Simari and R. Loui, A mathematical treatment of defeasible reasoning and its implementation, Artificial Intelligence 53 (1992), 125-157.
57. A. Trudel, Representing and reasoning about a dynamic world. PhD thesis, University of Waterloo, Canada, 1990.
58. Ll. Vila and H. Reichgelt, The token reification approach to temporal reasoning. Technical report, The University of West Indias, 1993.
59. Ll. Vila, A survey on temporal reasoning in artificial intelligence, AI Communications, march, 1994.
60. G.A.W. Vreeswijk, Studies in defeasible argumentation, PhD thesis, Vrije Universiteit, 1993.
61. Y. Zhang and N. Foo, Reasoning about persistence: a theory of actions, in: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI 93), R. Bajcsy, ed., Vol. 1, IJCAI, Morgan Kaufmann Publishers, San Mateo, California, 1993, pp. 718-723.