Temporal representation and reasoning in artificial intelligence: A review
From MaRDI portal
Publication:5943344
DOI10.1016/S0895-7177(01)00049-8zbMath0990.68109MaRDI QIDQ5943344
G. P. Bhattacharjee, A. K. Pani
Publication date: 9 September 2001
Published in: Mathematical and Computer Modelling (Search for Journal in Brave)
Related Items (2)
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm ⋮ Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
Cites Work
- Maintaining knowledge about temporal intervals
- A logic-based calculus of events
- Tense logic and time
- A critical examination of Allen's theory of action and time
- Strategies for modal resolution: Results and problems
- Towards a general theory of action and time
- Applications of fuzzy set theory to mathematical programming
- Temporal logics in AI: semantical and ontological considerations
- Constraint propagation with interval labels
- Problems in formal temporal reasoning
- Nonmonotonic logic and temporal projection
- Modal resolution in clausal form
- On the logic of causal explanation
- Circumscription - a form of non-monotonic reasoning
- Temporal constraint networks
- A non-reified temporal logic
- Fuzzy logic and approximate reasoning
- Fuzzy sets as a basis for a theory of possibility
- Proving properties of states in the situation calculus
- Planning for temporally extended goals.
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
- The token reification approach to temporal reasoning
- STRIPS: A new approach to the application of theorem proving to problem solving
- Temporal reasoning based on semi-intervals
- Using temporal hierarchies to efficiently maintain large temporal databases
- Two theories of time
- Actions and Events in Interval Temporal Logic
- Reasoning about effects of concurrent actions
- Fuzzy sets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Temporal representation and reasoning in artificial intelligence: A review