A logic-based calculus of events
New Generation Computing
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Chronological ignorance: experiments in nonmonotonic temporal reasoning
Artificial Intelligence
On the declarative semantics of logic programs with negation
Foundations of deductive databases and logic programming
Representing and reasoning about a dynamic world
Representing and reasoning about a dynamic world
Planning with simultaneous actions and external events
Reasoning about plans
Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Artificial Intelligence
Database updates in the event calculus
Journal of Logic Programming
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Making argument systems computationally attractive: argument construction and maintenance
Proceedings of the 13th international conference on Computer science 2 : research and applications: research and applications
A survey on temporal reasoning in artificial intelligence
AI Communications
Knowledge representation and reasoning for mixed-initiative planning
Knowledge representation and reasoning for mixed-initiative planning
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Dealing with Time Granularity in a Temporal Planning System
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
A general framework for reasoning about change
New Generation Computing
Argumentation Using Temporal Knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Modal and temporal argumentation networks
Time for verification
Hi-index | 0.00 |
There are numerous areas in Computer Science where time plays a fundamental role. This role is not a minor one in Artificial Intelligence. Since the goal of Artificial Intelligence is to capture the human abilities for problem solving, the consideration of temporal concepts becomes indispensable. An intelligent agent uses temporal references in its communication and in its deductive processes constantly and decisively. Therefore, a great number of formalisms have been proposed to provide temporal reasoning capabilities.During the last few years, as part of the work developed in the nonmonotonic reasoning area, the argumentative systems have been developed. These systems were designed to provide defeasible or tentative reasoning capabilities.Here we explore the confluence of both areas: temporal and defeasible reasoning. Our purpose is to add to the argumentative reasoning language the possibility of explicitly referencing time to be able to reason about occurrences taking into account the moment in which they took place.