Logic-based subsumption architecture (Q814558): Difference between revisions

@@ Property / describes a project that uses @@
+GOLOG
@@ Property / describes a project that uses: GOLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GETFOL
@@ Property / describes a project that uses: GETFOL / rank @@
+Normal rank
@@ 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.1016/j.artint.2003.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2095671644
@@ Property / OpenAlex ID: W2095671644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708921
@@ Property / cites work: Q4708921 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based subsumption architecture
@@ Property / cites work: Logic-based subsumption architecture / rank @@
+Normal rank
@@ Property / cites work @@
+Partition-based logical reasoning for first-order and propositional theories
+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 @@
+On the relationship between circumscription and negation as failure
+Normal rank
@@ Property / cites work @@
+Representing action: indeterminacy and ramifications
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934649
@@ Property / cites work: Q4934649 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750100
@@ Property / cites work: Q3750100 / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Q3198926
@@ Property / cites work: Q3198926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839154
@@ Property / cites work: Q4839154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734939
@@ Property / cites work: Q2734939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473070
@@ Property / cites work: Q4473070 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: A new exposition and implementation in Prolog
+Normal rank