Making Golog Norm Compliant (Q3092308): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22359-4_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1759964758
@@ Property / OpenAlex ID: W1759964758 / rank @@
+Normal rank
@@ Property / cites work @@
+Normative Multi-agent Programs and Their Logics
@@ Property / cites work: Normative Multi-agent Programs and Their Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Choosing social laws for multi-agent systems: Minimality and simplicity
+Normal rank
@@ Property / cites work @@
+Agent strands in the action language \(n\mathcal C +\)
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+ConGolog, a concurrent programming language based on the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4934644
@@ Property / cites work: Q4934644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Some contributions to the metatheory of the situation calculus
+Normal rank
@@ Property / cites work @@
+Evolving Logic Programs with Temporal Operators
@@ Property / cites work: Evolving Logic Programs with Temporal Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Protocol Conformance and Agent Interoperability
+Normal rank