scientific article; zbMATH DE number 140366
From MaRDI portal
Publication:4028767
Recommendations
Cited in
(62)- Linear temporal logic as an executable semantics for planning languages
- A uniform representation for time and space and their mutual constraints
- Reaching agreements through argumentation: a logical model and implementation
- Let's plan it deductively!
- On point-based temporal disjointness
- Planning for temporally extended goals.
- Strong temporal planning with uncontrollable durations
- Efficient algorithms for qualitative reasoning about time
- Temporal reasoning for a collaborative planning agent in a dynamic environment
- A general framework for reasoning about change
- Implementation of the temporal reasoning mechanism in modern intelligent systems
- Timeline-based planning over dense temporal domains
- Cost-based temporal reasoning
- Representing planning autonomy in agent organizational models
- Collective singleton-based consistency for qualitative constraint networks: theory and practice
- General temporal knowledge for planning and data mining
- Temporal reasoning about fuzzy intervals
- A temporal logic programming approach to planning
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- Planning temporal events using point-interval logic
- A logic of time, chance, and action for representing plans
- Reasoning about actions in dynamic linear time temporal logic
- Getting to the airport: The oldest planning problem in AI
- Temporal reasoning with TRL
- How to (plan to) meet a deadline between \textit{now} and \textit{then}
- Managing temporal cycles in planning problems requiring concurrency
- scientific article; zbMATH DE number 5887274 (Why is no real title available?)
- Artificial intelligence planning methods based on automated reasoning techniques
- A consistent reasoning model and its calculating algorithm for cooperative engagement
- A knowledge server for reasoning about temporal constraints between classes and instances of events
- scientific article; zbMATH DE number 4174345 (Why is no real title available?)
- Reasoning about recurrence
- scientific article; zbMATH DE number 4005969 (Why is no real title available?)
- scientific article; zbMATH DE number 52880 (Why is no real title available?)
- scientific article; zbMATH DE number 67470 (Why is no real title available?)
- scientific article; zbMATH DE number 140379 (Why is no real title available?)
- scientific article; zbMATH DE number 140399 (Why is no real title available?)
- scientific article; zbMATH DE number 1249651 (Why is no real title available?)
- scientific article; zbMATH DE number 1301748 (Why is no real title available?)
- Event scheduling using allen's algebra
- scientific article; zbMATH DE number 980416 (Why is no real title available?)
- scientific article; zbMATH DE number 1947500 (Why is no real title available?)
- scientific article; zbMATH DE number 2006600 (Why is no real title available?)
- scientific article; zbMATH DE number 1536550 (Why is no real title available?)
- scientific article; zbMATH DE number 1754682 (Why is no real title available?)
- Two Logical Theories of Plan Recognition
- Time and Space Bounds for Planning
- scientific article; zbMATH DE number 2085254 (Why is no real title available?)
- Toward a comprehensive treatment of temporal constraints about periodic events
- STRIPS in some temporal-preferential extension
- A temporal logic for modelling activities of daily living
- Advances in Artificial Intelligence – SBIA 2004
- Automated Deduction – CADE-20
- Inductive Logic Programming
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- Distributed Computing – IWDC 2005
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Temporal representation and reasoning in artificial intelligence: A review
- Complexity of qualitative timeline-based planning
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- A Mīmāṃsā inspired framework towards temporal reasoning in large language models
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028767)
