Applications of Action Languages in Cognitive Robotics (Q2900522): Difference between revisions

@@ Property / cites work @@
+Representing the Zoo World and the Traffic World in the language of the Causal Calculator
+Normal rank
@@ Property / cites work @@
+Q2734940
@@ Property / cites work: Q2734940 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing actions: Laws, observations and hypotheses
+Normal rank
@@ Property / cites work @@
+Q4893671
@@ Property / cites work: Q4893671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2909140
@@ Property / cites work: Q2909140 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling biological networks by action languages via answer set programming
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Updating action domain descriptions
@@ Property / cites work: Updating action domain descriptions / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
+Normal rank
@@ Property / cites work @@
+Q2767107
@@ Property / cites work: Q2767107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449295
@@ Property / cites work: Q4449295 / rank @@
+Normal rank
@@ Property / cites work @@
+Coala: A Compiler from Action Languages to ASP
@@ Property / cites work: Coala: A Compiler from Action Languages to ASP / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering an Incremental ASP Solver
@@ Property / cites work: Engineering an Incremental ASP Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action: indeterminacy and ramifications
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Robot motion planning with uncertainty in control and sensing
+Normal rank
@@ Property / cites work @@
+Two components of an action language
@@ Property / cites work: Two components of an action language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955331
@@ Property / cites work: Q4955331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing sensing actions -- a transition function based approach
+Normal rank
@@ Property / cites work @@
+Reasoning about non-immediate triggers in biological networks
+Normal rank
@@ Property / cites work @@
+Hypothesizing about signaling networks
@@ Property / cites work: Hypothesizing about signaling networks / rank @@
+Normal rank
@@ Property / cites work @@
+Representing actions in logic programs and default theories a situation calculus approach
+Normal rank