Agent planning programs (Q899440): Difference between revisions

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AgentSpeak
@@ Property / describes a project that uses: AgentSpeak / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2015.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2193441267
@@ Property / OpenAlex ID: W2193441267 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic generators and games for Ltl fragments
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+A heuristic search approach to planning with temporally extended preferences
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive(1) designs
@@ Property / cites work: Synthesis of Reactive(1) designs / rank @@
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Intention is choice with commitment
@@ Property / cites work: Intention is choice with commitment / rank @@
+Normal rank
@@ Property / cites work @@
+A verification framework for agent programming with declarative goals
+Normal rank
@@ Property / cites work @@
+ConGolog, a concurrent programming language based on the situation calculus
+Normal rank
@@ Property / cites work @@
+Q5282994
@@ Property / cites work: Q5282994 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic behavior composition synthesis
@@ Property / cites work: Automatic behavior composition synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+IMPACTing SHOP: Putting an AI planner into a multi-agent environment
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Algorithms
@@ Property / cites work: Nondeterministic Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
+Normal rank
@@ Property / cites work @@
+Q4449304
@@ Property / cites work: Q4449304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q3624014
@@ Property / cites work: Q3624014 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715723
@@ Property / cites work: Q5715723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+Normal rank
@@ Property / cites work @@
+Soft Goals Can Be Compiled Away
@@ Property / cites work: Soft Goals Can Be Compiled Away / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Q4449294
@@ Property / cites work: Q4449294 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lower Bound on Web Services Composition
@@ Property / cites work: A Lower Bound on Web Services Composition / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728922
@@ Property / cites work: Q2728922 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks
+Normal rank
@@ Property / cites work @@
+A new representation and associated algorithms for generalized planning
+Normal rank
@@ Property / cites work @@
+A Common Knowledge Representation for Plan Generation and Reactive Execution
+Normal rank
@@ Property / cites work @@
+Planning and reacting in uncertain and dynamic environments
+Normal rank