Abductive logic programming agents with destructive databases (Q656819): Difference between revisions

@@ 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.1007/s10472-011-9253-y
+Normal rank
@@ Property / OpenAlex ID @@
+W1993973926
@@ Property / OpenAlex ID: W1993973926 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic updates of non-monotonic knowledge bases
@@ Property / cites work: Dynamic updates of non-monotonic knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Q4518441
@@ Property / cites work: Q4518441 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative semantics for active rules
@@ Property / cites work: Declarative semantics for active rules / rank @@
+Normal rank
@@ Property / cites work @@
+The IFF proof procedure for abductive logic programming
+Normal rank
@@ Property / cites work @@
+Q3624165
@@ Property / cites work: Q3624165 / 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 @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+FLUX: A logic programming method for reasoning agents
+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 @@
+An Agent Language with Destructive Assignment and Model-Theoretic Semantics
+Normal rank
@@ Property / cites work @@
+Computational Logic and Human Thinking
@@ Property / cites work: Computational Logic and Human Thinking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028821
@@ Property / cites work: Q4028821 / rank @@
+Normal rank