Agent planning programs

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

Alessandro Saetti, Alfonso E. Gerevini, Giuseppe De Giacomo, Fabio Patrizi, 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

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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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 (4)

• Title not available (Why is that?)
• Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
• 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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Planning for multiagent using ASP-Prolog 👍 👎
• Probabilistic agent programs 👍 👎
• Title not available (Why is that?) 👍 👎

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)