Representation and Control in IxTeT, a Temporal Planner

No abstract is available for this paper.

• Publication year

  1994

• Venue

  International Conference on Artificial Intelligence Planning Systems

• Publication date

  1994-06-13

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Present-Day Deductive Planning

  1994cited by this paper
• On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning

  1993cited by this paper
• Temporal Planner = Nonlinear Planner + Time Map Management

  1993cited by this paper
• A Logical Framework for Practical Planning

  1992cited by this paper
• Reasoning about change

  1991cited by this paper
• Systematic Nonlinear Planning

  1991cited by this paper
• Characterizing Abstraction Hierarchies for Planning

  1991cited by this paper
• Reasoning about plans

  1991cited by this paper
• O-Plan: The open Planning Architecture

  1991cited by this paper
• Managing Efficiently Temporal Relations Through Indexed Spanning Trees

  1989cited by this paper
• Hierarchical planning involving deadlines, travel time, and resources

  1988cited by this paper
• Planning for Conjunctive Goals

  1987cited by this paper
• TLP—a temporal planner

  1987cited by this paper
• Temporal Data Base Management

  1987cited by this paper
• Constraint Propagation Algorithms for Temporal Reasoning

  1986cited by this paper
• Planning in Time: Windows and Durations for Activities and Goals

  1983cited by this paper
• A: an efficient near admissible heuristic search algorithm

  1983cited by this paper

• Reinforcement Learning in Practice: Muti-applications of Basic Theory

  2025cites this paper
• When Quality Matters: Constraint Programming for Automated Temporal and Numeric Planning

  2025cites this paper
• Temporal Planning via Interval Logic Satisfiability for Autonomous Systems

  2024cites this paper
• Manifesto from Dagstuhl Perspectives Workshop 22282 Current and Future Challenges in Knowledge Representation and Reasoning

  2023cites this paper
• Planning Autonomous Marine Inspection Tasks using SMT Encoding of Timelines

  2022cites this paper
• Deliberative Robotics Behavior Systems: Asurvey

  2022cites this paper
• Abstraction Refinement of Parallel Transition Systems in an SMT-based Timeline Planner

  2022cites this paper
• Branching and Pruning for Timeline-based Planning

  2022cites this paper
• Automated Service Composition Using AI Planning and Beyond

  2021cites this paper
• GTPyhop: A Hierarchical Goal+Task Planner Implemented in Python

  2021cites this paper
• An approach for task and action planning in Human–Robot Collaborative cells using AI

  2021cites this paper
• Knowledge Engineering Tools and Techniques for AI Planning

  2020cites this paper
• FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning

  2020cites this paper
• A Language for Timeline-based Planning

  2020cites this paper
• Lifted Heuristics for Timeline-Based Planning

  2020cites this paper
• Robust Plan Execution with Unexpected Observations

  2020cites this paper
• Planning in Artificial Intelligence

  2020cites this paper
• Investigating Lifted Heuristics for Timeline-based Planning

  2020cites this paper
• Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration

  2020cites this paper
• Robotics and Artificial Intelligence

  2020cites this paper
• An Introduction to the Planning Domain Definition Language (PDDL): Book review

  2020cites this paper
• Symbiotic human-robot collaborative assembly

  2019cites this paper
• Replanning for Situated Robots

  2019cites this paper
• Estimating the probability of meeting a deadline in schedules and plans

  2019cites this paper
• Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans

  2019cites this paper
• Robustness Envelopes for Temporal Plans

  2019cites this paper
• Beyond the frontiers of timeline-based planning

  2019cites this paper
• Timeline-based Planning and Execution with Uncertainty: Theory, Modeling Methodologies and Practice

  2019cites this paper
• Timeline-based planning: Expressiveness and Complexity

  2019cites this paper
• SMT-based Planning for Robots in Smart Factories

  2019cites this paper
• Temporal-numeric planning with control parameters

  2018cites this paper
• Combining Artificial Intelligence planning advantages to assist preliminary formal analysis on Industrial Control System cybersecurity vulnerabilities

  2018cites this paper
• Integrating Resource Management and Timeline-Based Planning

  2018cites this paper
• Ontology based knowledge representation technique, domain modeling languages and planners for robotic path planning: A survey

  2018cites this paper
• Fostering Robust Human-Robot Collaboration through AI Task Planning

  2018cites this paper
• Norms, Institutions, and Robots

  2018cites this paper
• Extracting mutual exclusion invariants from lifted temporal planning domains

  2018cites this paper
• On Stubborn Sets and Planning with Resources

  2018cites this paper
• SMarTplan: a Task Planner for Smart Factories

  2018cites this paper
• Review of mission planning for autonomous marine vehicle fleets

  2018cites this paper
• Strong temporal planning with uncontrollable durations

  2018cites this paper
• A Constraint-based Encoding for Domain-Independent Temporal Planning

  2018influential citation
• Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

  2017cites this paper
• Task scheduling and merging in space and time

  2017cites this paper
• Reconfigurable autonomy for future planetary rovers

  2017cites this paper
• Disjunctive temporal networks with uncertainty via SMT: Recent results and directions

  2017cites this paper
• Encoding Domain Transitions for Constraint-Based Planning

  2017cites this paper
• Planning and Execution with Robot Trajectory Generation in Industrial Human-Robot Collaboration

  2017cites this paper
• PLATINU M A new Framework for Planning and Acting

  2017cites this paper
• Deliberation for autonomous robots: A survey

  2017cites this paper
• A Constraint-Based Approach for Hybrid Reasoning in Robotics

  2016cites this paper
• Temporal and Hierarchical Models for Planning and Acting in Robotics. (Modeles temporels et hierarchiques pour la planification et l'action en robotique)

  2016cites this paper
• Mission Operations and Autonomy

  2016cites this paper
• Robotics Needs Non-Classical Planning

  2016cites this paper
• An Overview of Problems and Approaches in Machine Intelligence

  2016cites this paper
• Timeline-based Planning with Uncertainty: a Human-Robot Collaboration Case Study

  2016cites this paper
• Revisiting dynamic constraint satisfaction for model-based planning

  2016cites this paper
• Hierarchische hybride Planung für mobile Roboter

  2016cites this paper
• Steps in Assessing a Timeline-Based Planner

  2016cites this paper
• Planning and Scheduling in Temporally Uncertain Domains

  2016cites this paper
• Automated Planning and Acting

  2016cites this paper
• Numerical and Temporal Planning for a Multi-agent Team Acting in the Real World

  2016cites this paper
• A robot sets a table: a case for hybrid reasoning with different types of knowledge

  2016cites this paper
• Modelo de landmarks temporales para problemas de planificación temporal altamente restringidos

  2016influential citation
• Defeasible Argumentation for Cooperative Multi-Agent Planning

  2016cites this paper
• Domain-independent planning for services in uncertain and dynamic environments

  2016cites this paper
• Investigating domain independent heuristics in a timeline-based planner

  2016cites this paper
• Constraint-based Methods for Human-aware Planning

  2016cites this paper
• Fault tolerant planning: towards dependable autonomous robots

  2015cites this paper
• Online task merging with a hierarchical hybrid task planner for mobile service robots

  2015cites this paper
• Online plan modification in uncertain resource-constrained environments

  2015cites this paper
• New Heuristics for Timeline-Based Planning

  2015cites this paper
• Integrating Planning and Scheduling : A Constraint-based Approach

  2015cites this paper
• Integrating Logic and Constraint Reasoning in a Timeline-Based Planner

  2015cites this paper
• Robotic Ubiquitous Cognitive Ecology for Smart Homes

  2015cites this paper
• Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations

  2015cites this paper
• Quality Metrics to Evaluate Flexible Timeline-Based Plans

  2015cites this paper
• Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic

  2015cites this paper
• Optimizing Liner Shipping Fleet Repositioning Plans

  2015cites this paper
• Trusting robots : Contributions to dependable autonomous collaborative robotic systems. (Vers des robots collaboratifs autonomes sûrs de fonctionnement)

  2015influential citation
• Short Term Unit Commitment as a Planning Problem

  2014cites this paper
• Introducing Simulated Annealing in Partial Order Planning

  2014cites this paper
• Time-Optimal Planning in Temporal Problems

  2014cites this paper
• Planning and Scheduling

  2014cites this paper
• Reconnaissance de comportements complexes par traitement en ligne de flux d'événements. (Online event flow processing for complex behaviour recognition)

  2014cites this paper
• Heuristic Planning with Time and Resources

  2014cites this paper
• A Flexible ANML Actor and Planner in Robotics

  2014cites this paper
• Planning and Acting with Temporal and Hierarchical Decomposition Models

  2014cites this paper
• A Planner for Ambient Assisted Living: From High-Level Reasoning to Low-Level Robot Execution and Back

  2014cites this paper
• J-TRE: An Integrated Reasoning Environment and its Application to Timeline-based Planning

  2014cites this paper
• Sapa: A Domain-Independent Heuristic Metric Temporal Planner

  2014cites this paper
• Planning Under Temporal Uncertainty Using Hindsight Optimization

  2014cites this paper
• The actor's view of automated planning and acting: A position paper

  2014cites this paper
• Architecture and tools for the generation of Flight Intent from mission intent for a fleet of Unmanned Aerial Systems

  2014cites this paper
• Plan-Space Hierarchical Planning with the Action Notation Modeling Language

  2014cites this paper
• An Introduction to the J-TRE Environment and its Features

  2013influential citation
• Towards Deliberative Control in Marine Robotics

  2013cites this paper
• Timelines with Temporal Uncertainty

  2013cites this paper
• PTTPS: A Model For Timeline-Based Planning and Scheduling of Patient Tests in Hospitals

  2013cites this paper
• Topics of Interest Special Focus: System View Submission and Contribution Format Program Committee Organizers and Contact Experience Based Task and Environment Specification for Plan-based Robotic Agents Planning for Multiple Robots in a Smart Environment Search Strategies for Partial-order Causal-l

  2013cites this paper