Query answering in resource-based answer set semantics (Q4593046): Difference between revisions

@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Design and results of the Fifth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+A goal-oriented approach to computing the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Answer Set Programming with Resources
@@ Property / cites work: Answer Set Programming with Resources / rank @@
+Normal rank
@@ Property / cites work @@
+Weight Constraints with Preferences in ASP
@@ Property / cites work: Weight Constraints with Preferences in ASP / rank @@
+Normal rank
@@ Property / cites work @@
+RASP and ASP as a fragment of linear logic
@@ Property / cites work: RASP and ASP as a fragment of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as a Resource: a Novel View on Answer Set Semantics*
+Normal rank
@@ Property / cites work @@
+Q4327612
@@ Property / cites work: Q4327612 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Monotonic Answer Set Programming
@@ Property / cites work: Monotonic Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau Calculi for Answer Set Programming
@@ Property / cites work: Tableau Calculi for Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation among answer set solvers
@@ Property / cites work: On the relation among answer set solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction in logic programming: A new definition and an abductive procedure based on rewriting
+Normal rank
@@ Property / cites work @@
+Q3134502
@@ Property / cites work: Q3134502 / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Consistency Checking in Goal-Directed Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / cites work @@
+Logic Programming for Knowledge Representation
@@ Property / cites work: Logic Programming for Knowledge Representation / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank