Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Planning for conjunctive goals
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
Can AI planners solve practical problems?
Computational Intelligence
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
EXCALIBUR: a program for planning and reasoning with processes
Artificial Intelligence
Planning with continuous change
Planning with continuous change
Temporal planning with continuous change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Fast planning through planning graph analysis
Artificial Intelligence
Inferring state constraints for domain-independent planning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Act, and the rest will follow: exploiting determinism in planning as satisfiability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
A machine program for theorem-proving
Communications of the ACM
Temporal Planning with Mutual Exclusion Reasoning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Unifying SAT-based and Graph-based Planning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
The LPSAT Engine & Its Application to Resource Planning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Temporal Planning through Mixed Integer Programming: A Preliminary Report
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
The Quest for Efficient Boolean Satisfiability Solvers
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Constrained Component Deployment in Wide-Area Networks Using AI Planning Techniques
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems
Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems
Combining linear programming and satisfiability solving for resource planning
The Knowledge Engineering Review
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Tm-lpsat: encoding temporal metric planning in continuous time
Tm-lpsat: encoding temporal metric planning in continuous time
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
Journal of Automated Reasoning
Continuous time in a SAT-based planner
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Automatic SAT-compilation of planning problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The 3rd international planning competition: results and analysis
Journal of Artificial Intelligence Research
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Sapa: a multi-objective metric temporal planner
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
The automatic inference of state invariants in TIM
Journal of Artificial Intelligence Research
A simplifier for propositional formulas with many binary clauses
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Verifying Industrial Hybrid Systems with MathSAT
Electronic Notes in Theoretical Computer Science (ENTCS)
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Using CSP look-back techniques to solve real-world SAT instances
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Pouring liquids: A study in commonsense physical reasoning
Artificial Intelligence
Deconstructing planning as satisfiability
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
SAT encodings of state-space reachability problems in numeric domains
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Temporal planning in domains with linear processes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Hi-index | 0.00 |
The TM-LPSAT planner can construct plans in domains containing atomic actions and durative actions; events and processes; discrete, real-valued, and interval-valued fluents; reusable resources, both numeric and interval-valued; and continuous linear change to quantities. It works in three stages. In the first stage, a representation of the domain and problem in an extended version of PDDL+ is compiled into a system of Boolean combinations of propositional atoms and linear constraints over numeric variables. In the second stage, a SAT-based arithmetic constraint solver, such as LPSAT or MathSAT, is used to find a solution to the system of constraints. In the third stage, a correct plan is extracted from this solution. We discuss the structure of the planner and show how planning with time and metric quantities is compiled into a system of constraints. The proofs of soundness and completeness over a substantial subset of our extended version of PDDL+ are presented.