Reactive computing as model generation (Q264957): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+A Temporal Logic of Normative Systems
@@ Property / cites work: A Temporal Logic of Normative Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Event-Condition-Action Logic Programming Language
+Normal rank
@@ Property / cites work @@
+Q4708906
@@ Property / cites work: Q4708906 / rank @@
+Normal rank
@@ Property / cites work @@
+Case studies in asynchronous data parallelism
@@ Property / cites work: Case studies in asynchronous data parallelism / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Autonomous agents coordination: Action languages meet CLP() and Linda
+Normal rank
@@ Property / cites work @@
+Heterogeneous active agents, I: Semantics
@@ Property / cites work: Heterogeneous active agents, I: Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating Production Rules Using ACTHEX
@@ Property / cites work: Simulating Production Rules Using ACTHEX / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q4518441
@@ Property / cites work: Q4518441 / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q4843185
@@ Property / cites work: Q4843185 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624165
@@ Property / cites work: Q3624165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+From logic programming towards multi-agent systems
+Normal rank
@@ Property / cites work @@
+An Agent Language with Destructive Assignment and Model-Theoretic Semantics
+Normal rank
@@ Property / cites work @@
+Abductive logic programming agents with destructive databases
+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 @@
+Q4400809
@@ Property / cites work: Q4400809 / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Making prolog more expressive
@@ Property / cites work: Making prolog more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707774
@@ Property / cites work: Q4707774 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for a class of stratified production system programs
+Normal rank
@@ Property / cites work @@
+Q4680195
@@ Property / cites work: Q4680195 / rank @@
+Normal rank
@@ Property / cites work @@
+FLUX: A logic programming method for reasoning agents
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank