scientific article; zbMATH DE number 2038893
From MaRDI portal
Publication:4449295
Recommendations
Cited in
(only showing first 100 items - show all)- Linear temporal logic as an executable semantics for planning languages
- Learning action models from plan examples using weighted MAX-SAT
- Reasoning from last conflict(s) in constraint programming
- TALplanner: A temporal logic based forward chaining planner
- Extracting mutual exclusion invariants from lifted temporal planning domains
- Strong temporal planning with uncontrollable durations
- Constraint-based attribute and interval planning
- PDDL
- A case study in programming a quantum annealer for hard operational planning problems
- Complexity issues for timeline-based planning over dense time under future and minimal semantics
- Gradient-based mixed planning with symbolic and numeric action parameters
- Decidability and complexity of action-based temporal planning over dense time
- A constraint-based approach to learn temporal features on action models from multiple plans
- Out of control: reducing probabilistic models by control-state elimination
- Model-checking precision agriculture logistics: the case of the differential harvest
- Selecting goals in oversubscription planning using relaxed plans
- Deliberative acting, planning and learning with hierarchical operational models
- Model checking approach to automated planning
- Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm
- A constraint programming formulation for planning: From plan scheduling to plan generation
- Solve-and-robustify
- Book review of: P. Haslum et. al., An introduction to the planning domain definition language
- Computing programs for generalized planning using a classical planner
- First-order stable model semantics with intensional functions
- Learning action models with minimal observability
- General temporal knowledge for planning and data mining
- Bagging strategies for learning planning policies
- State-set branching: leveraging BDDs for heuristic search
- An approach to efficient planning with numerical fluents and multi-criteria plan quality
- Temporal reasoning about fuzzy intervals
- Representations for robot knowledge in the \textsc{KnowRob} framework
- A temporal logic programming approach to planning
- Constraint partitioning in penalty formulations for solving temporal planning problems
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- In defense of PDDL axioms
- Processes and continuous change in a SAT-based planner
- Handling fuzzy temporal constraints in a planning environment
- CP methods for scheduling and routing with~time-dependent task costs
- On the importance of domain model configuration for automated planning engines
- scientific article; zbMATH DE number 1696751 (Why is no real title available?)
- Managing temporal cycles in planning problems requiring concurrency
- Action failure recovery via model-based diagnosis and conformant planning
- Domain-independent planning for services in uncertain and dynamic environments
- Applications of action languages in cognitive robotics
- COLIN: planning with continuous linear numeric change
- SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
- Using satisfiability for non-optimal temporal planning
- Constraint-based algorithm for computing temporal invariants
- Divide-and-Evolve: a Sequential Hybridization Strategy Using Evolutionary Algorithms
- A Fluent Calculus Semantics for ADL with Plan Constraints
- An approach to temporal planning and scheduling in domains with predictable exogenous events
- Modelling mixed discrete-continuous domains for planning
- Planning in domains with derived predicates through rule-action graphs and local search
- scientific article; zbMATH DE number 1948994 (Why is no real title available?)
- A planning language for embedded systems
- scientific article; zbMATH DE number 1982206 (Why is no real title available?)
- scientific article; zbMATH DE number 2038894 (Why is no real title available?)
- scientific article; zbMATH DE number 2038896 (Why is no real title available?)
- scientific article; zbMATH DE number 2038897 (Why is no real title available?)
- scientific article; zbMATH DE number 2038899 (Why is no real title available?)
- scientific article; zbMATH DE number 2038901 (Why is no real title available?)
- scientific article; zbMATH DE number 2038903 (Why is no real title available?)
- scientific article; zbMATH DE number 2038904 (Why is no real title available?)
- A game-theoretic approach to timeline-based planning with uncertainty
- A Comprehensive Framework for Learning Declarative Action Models
- Using machine learning for decreasing state uncertainty in planning
- Analyzing heuristic-based randomized search strategies for the quantum circuit compilation problem
- Anticipation of goals in automated planning
- Learning-driven goal generation
- Simulation of action theories and an application to general game-playing robots
- A non-monotonic goal specification language for planning with preferences
- A unifying action calculus
- Automated Reasoning with Analytic Tableaux and Related Methods
- scientific article; zbMATH DE number 2243406 (Why is no real title available?)
- Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework
- The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions
- A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning
- The Hybrid Plan Controller Construction for Trajectories in Sobolev Space
- Visual language integration: a survey and open challenges
- OMTPlan: A Tool for Optimal Planning Modulo Theories
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Maintenance of plan libraries for case-based planning: offline and online policies
- Enhancing temporal planning by sequential macro-actions
- Optimal planning with expressive action languages as constraint optimization
- Generalized planning as heuristic search: a new planning search-space that leverages pointers over objects
- A domain-independent agent architecture for adaptive operation in evolving open worlds
- Controller synthesis for timeline-based games
- Planning in artificial intelligence
- Symbolic pattern planning
- Automated planning instance generation with neuro-symbolic AI
- A correct-by-construction approach for development of reliable planning problems
- A survey on approximability of traveling salesman problems using the TSP-T3CO definition scheme
- Synthesis of timeline-based planning strategies avoiding determinization
- Symbolic search for cost-optimal planning with expressive model extensions
- Lifted action models learning from partial traces
- An interleaving semantics of the timed concurrent language for argumentation to model debates and dialogue games
- Plotting: a case study in lifted planning with constraints
- AI Planning Languages Semantics
- Verified SAT-Based AI Planning
- Upper Bounding Diameters of State Spaces of Factored Transition Systems
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 Q4449295)
