Agent planning programs

DOI10.1016/J.ARTINT.2015.10.001zbMATH Open1344.68245OpenAlexW2193441267MaRDI QIDQ899440FDOQ899440

Authors: Giuseppe De Giacomo, Alfonso E. Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña 

Publication date: 28 December 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2015.10.001

Recommendations

• scientific article; zbMATH DE number 1305377
• scientific article; zbMATH DE number 1629869
• scientific article; zbMATH DE number 1929179
• scientific article; zbMATH DE number 1884379
• Planning for multiagent using ASP-Prolog
• Probabilistic agent programs
• scientific article; zbMATH DE number 1080096

zbMATH Keywords

reasoning about action and changeautomated planningagent-oriented programmingsynthesis of reactive systems

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• ConGolog, a concurrent programming language based on the situation calculus
• NuSMV: A new symbolic model checker
• GOLOG: A logic programming language for dynamic domains
• Fast planning through planning graph analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic model checking: \(10^{20}\) states and beyond
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata, logics, and infinite games. A guide to current research
• The fast downward planning system
• Nondeterministic Algorithms
• An axiomatic basis for computer programming
• A verification framework for agent programming with declarative goals
• Intention is choice with commitment
• The FF planning system: Fast plan generation through heuristic search
• Automatic behavior composition synthesis
• LTL verification of online executions with sensing in bounded situation calculus
• Title not available (Why is that?)
• Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
• Synthesis of Reactive(1) designs
• The LAMA planner: guiding cost-based anytime planning with landmarks
• A new representation and associated algorithms for generalized planning
• Deterministic generators and games for LTL fragments
• A Lower Bound on Web Services Composition
• Verification, Model Checking, and Abstract Interpretation
• Using temporal logics to express search control knowledge for planning
• Title not available (Why is that?)
• Title not available (Why is that?)
• A heuristic search approach to planning with temporally extended preferences
• IMPACTing SHOP: Putting an AI planner into a multi-agent environment
• Title not available (Why is that?)
• Planning and reacting in uncertain and dynamic environments
• A Common Knowledge Representation for Plan Generation and Reactive Execution
• Soft Goals Can Be Compiled Away

Cited In (6)

• Determining action reversibility in STRIPS using answer set and epistemic logic programming
• Title not available (Why is that?)
• On composition of bounded-recall plans
• The complexity of agent design problems: Determinism and history dependence
• Knowledge-based programs as building blocks for planning
• Title not available (Why is that?)

Uses Software

• ConGolog
• GOLOG
• NuSMV
• AgentSpeak
• 2APL
• Graphplan
• JTLV
• RATSY
• IndiGolog

This page was built for publication: Agent planning programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q899440)