Prioritized logic programming and its application to commonsense reasoning (Q1589476): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Reliable Semantics for Extended Logic Programs with Rule Prioritization
+Normal rank
@@ Property / cites work @@
+Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+Saturation, nonmonotonic reasoning and the closed-world assumption
+Normal rank
@@ Property / cites work @@
+Q4386939
@@ Property / cites work: Q4386939 / rank @@
+Normal rank
@@ Property / cites work @@
+Preferred answer sets for extended logic programs
@@ Property / cites work: Preferred answer sets for extended logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and expressiveness of disjunctive ordered logic
+Normal rank
@@ Property / cites work @@
+Q4366600
@@ Property / cites work: Q4366600 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction from logic programs: Semantics and complexity
+Normal rank
@@ Property / cites work @@
+Formalizing nonmonotonic reasoning systems
@@ Property / cites work: Formalizing nonmonotonic reasoning systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830545
@@ Property / cites work: Q3830545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217936
@@ Property / cites work: Q4217936 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028801
@@ Property / cites work: Q4028801 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure in the head
@@ Property / cites work: Negation as failure in the head / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution for consequence finding
@@ Property / cites work: Linear resolution for consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Hypothetical reasoning in logic programs
@@ Property / cites work: Hypothetical reasoning in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint characterization of abductive logic programs
+Normal rank
@@ Property / cites work @@
+Q4246971
@@ Property / cites work: Q4246971 / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm = logic + control
@@ Property / cites work: Algorithm = logic + control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983044
@@ Property / cites work: Q3983044 / rank @@
+Normal rank
@@ Property / cites work @@
+On the satisfiability of circumscription
@@ Property / cites work: On the satisfiability of circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal belief and negation as failure
@@ Property / cites work: Minimal belief and negation as failure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391449
@@ Property / cites work: Q4391449 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Lexicographic priorities in default logic
@@ Property / cites work: Lexicographic priorities in default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding circumscriptive theories in general disjunctive programs
+Normal rank
@@ Property / cites work @@
+Q4940929
@@ Property / cites work: Q4940929 / rank @@
+Normal rank