Dealing with explicit preferences and uncertainty in answer set programming (Q1928820): Difference between revisions

@@ 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 @@
+Probabilistic reasoning with answer sets
@@ Property / cites work: Probabilistic reasoning with answer sets / rank @@
+Normal rank
@@ Property / cites work @@
+COMMUNICATING ANSWER SET PROGRAMS
@@ Property / cites work: COMMUNICATING ANSWER SET PROGRAMS / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating ASP and the Polynomial Hierarchy
@@ Property / cites work: Communicating ASP and the Polynomial Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a possibilistic logic handling of preferences
+Normal rank
@@ Property / cites work @@
+Q5715666
@@ Property / cites work: Q5715666 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of (disjunctive) logic programs based on partial evaluation
+Normal rank
@@ Property / cites work @@
+Transformation-based bottom-up computation of the well-founded model
+Normal rank
@@ Property / cites work @@
+Q4858040
@@ Property / cites work: Q4858040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2892660
@@ Property / cites work: Q2892660 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming for Computing Decisions Under Uncertainty
+Normal rank
@@ Property / cites work @@
+Handling Exceptions in Logic Programming without Negation as Failure
+Normal rank
@@ Property / cites work @@
+Modeling preferences and conditional preferences on resource consumption and production in ASP
+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 @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751361
@@ Property / cites work: Q2751361 / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of confluent rewriting systems for logic programming and its applications
+Normal rank
@@ Property / cites work @@
+Dealing Automatically with Exceptions by Introducing Specificity in ASP
+Normal rank
@@ Property / cites work @@
+Working with Preferences: Less Is More
@@ Property / cites work: Working with Preferences: Less Is More / rank @@
+Normal rank
@@ Property / cites work @@
+Q3100239
@@ Property / cites work: Q3100239 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak nonmonotonic probabilistic logics
@@ Property / cites work: Weak nonmonotonic probabilistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Possibilistic uncertainty handling for answer set programming
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Handling uncertainty and defeasibility in a possibilistic logic setting
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank