Answer set based design of knowledge systems (Q854966): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-006-9026-1
@@ Property / DOI: 10.1007/s10472-006-9026-1 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2025327371
@@ Property / OpenAlex ID: W2025327371 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning for temporally extended goals.
@@ Property / cites work: Planning for temporally extended goals. / rank @@
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Diagnostic reasoning with A-Prolog
@@ Property / cites work: Diagnostic reasoning with A-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734940
@@ Property / cites work: Q2734940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708952
@@ Property / cites work: Q4708952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4434167
@@ Property / cites work: Q4434167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940938
@@ Property / cites work: Q4940938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707773
@@ Property / cites work: Q4707773 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+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 @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the stable model semantics for logic programs
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734950
@@ Property / cites work: Q2734950 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4955343
@@ Property / cites work: Q4955343 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10472-006-9026-1
@@ Property / DOI: 10.1007/S10472-006-9026-1 / rank @@
+Normal rank