Using temporal logics to express search control knowledge for planning
From MaRDI portal
Publication:1978242
Recommendations
Cites work
- scientific article; zbMATH DE number 49477 (Why is no real title available?)
- scientific article; zbMATH DE number 140397 (Why is no real title available?)
- scientific article; zbMATH DE number 1028834 (Why is no real title available?)
- scientific article; zbMATH DE number 1142309 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1142327 (Why is no real title available?)
- scientific article; zbMATH DE number 783783 (Why is no real title available?)
- Acquiring search-control knowledge via static analysis
- Automatically generating abstractions for planning
- Computational model theory: an overview
- Fast planning through planning graph analysis
- Integrating planning and learning: the PRODIGY architecture
- On the complexity of blocks-world planning
- Partial-order planning: Evaluating possible efficiency gains
- Planning for temporally extended goals.
- Planning in a hierarchy of abstraction spaces
- Safety, liveness and fairness in temporal logic
- The complexity of propositional linear temporal logics
Cited in
(54)- Using α -ctl to Specify Complex Planning Goals
- Learning linear temporal properties from noisy data: a MaxSAT-based approach
- Domain-dependent knowledge in answer set planning
- Managing concurrency in temporal planning using planner-scheduler interaction
- Generalized planning as heuristic search: a new planning search-space that leverages pointers over objects
- Non-Markovian control in the Situation Calculus
- scientific article; zbMATH DE number 1890629 (Why is no real title available?)
- On the power of automata minimization in reactive synthesis
- Experimental evaluation of pheromone models in ACOPlan
- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
- Planning as heuristic search
- Position systems in dynamic domains
- Strong planning under partial observability
- Answer set based design of knowledge systems
- scientific article; zbMATH DE number 1884393 (Why is no real title available?)
- Automated Reasoning with Analytic Tableaux and Related Methods
- Practical solution techniques for first-order MDPs
- Planning under uncertainty as G<scp>OLOG</scp>programs
- Reasoning about actions with Temporal Answer Sets
- Weak, strong, and strong cyclic planning via symbolic model checking
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- Automated planning as an early verification tool for distributed control
- Selected temporal logic systems: an attempt at engineering evaluation
- Why systems of temporal logic are sometimes (un)useful?
- Model checking approach to automated planning
- Planning as tabled logic programming
- The Hybrid Plan Controller Construction for Trajectories in Sobolev Space
- Planning with regression analysis in transaction logic
- Agenda control for heterogeneous reasoners
- Linear temporal logic as an executable semantics for planning languages
- Planning control rules for reactive agents
- Learning control knowledge for forward search planning
- TALplanner: A temporal logic based forward chaining planner
- The situation calculus: a case for modal logic
- Kernel functions for case-based planning
- Agent planning programs
- Task decomposition on abstract states, for planning under nondeterminism
- Encoding domain and control knowledge for propositional planning
- Finite-trace linear temporal logic: coinductive completeness
- Approximation of action theories and its application to conformant planning
- Specifying and computing preferred plans
- Computing programs for generalized planning using a classical planner
- First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
- Bounded-Resource Reasoning as (Strong or Classical) Planning
- Blocks World revisited
- A temporal logic programming approach to planning
- On the exploitation of control knowledge for enhancing automated planning
- SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking
- Maintenance of plan libraries for case-based planning: offline and online policies
- A compiler for MSVL and its applications
- On the axiomatizability of some first-order spatio-temporal theories
- Automated verification of state sequence invariants in general game playing
- Heuristic planning: A declarative approach based on strategies for action selection
- Planning and control in artificial intelligence: A unifying perspective
This page was built for publication: Using temporal logics to express search control knowledge for planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978242)
