Simulating Production Rules Using ACTHEX (Q2900521): Difference between revisions

@@ Property / cites work @@
+HEX PROGRAMS WITH ACTION ATOMS
@@ Property / cites work: HEX PROGRAMS WITH ACTION ATOMS / rank @@
+Normal rank
@@ Property / cites work @@
+Loop Formulas for Splitable Temporal Logic Programs
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+FDNC
@@ Property / cites work: FDNC / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / 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 @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / cites work @@
+Web reasoning and rule systems. Third international conference, RR 2009, Chantilly, VA, USA, October 25--26, 2009, Proceedings
+Normal rank
@@ Property / cites work @@
+Q3883548
@@ Property / cites work: Q3883548 / rank @@
+Normal rank