Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (Q2353984): Difference between revisions

@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Potassco
@@ Property / describes a project that uses: Potassco / 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.ijar.2013.09.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2114830586
@@ Property / OpenAlex ID: W2114830586 / rank @@
+Normal rank
@@ Property / cites work @@
+Possibilistic uncertainty handling for answer set programming
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction from logic programs: Semantics and complexity
+Normal rank
@@ Property / cites work @@
+Q2767106
@@ Property / cites work: Q2767106 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning
+Normal rank
@@ Property / cites work @@
+Semantics for Possibilistic Disjunctive Programs
@@ Property / cites work: Semantics for Possibilistic Disjunctive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with Common Weak Completions
@@ Property / cites work: Logics with Common Weak Completions / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic default reasoning with conditional constraints
+Normal rank
@@ Property / cites work @@
+Probabilistic reasoning with answer sets
@@ Property / cites work: Probabilistic reasoning with answer sets / rank @@
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506435
@@ Property / cites work: Q4506435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708937
@@ Property / cites work: Q4708937 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy relation equations and causal reasoning
@@ Property / cites work: Fuzzy relation equations and causal reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736518
@@ Property / cites work: Q4736518 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformant planning via symbolic model checking and heuristic search
+Normal rank
@@ Property / cites work @@
+Conformant planning via heuristic forward search: A new approach
+Normal rank
@@ Property / cites work @@
+Fuzzy Answer Set Programming
@@ Property / cites work: Fuzzy Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A core language for fuzzy answer set programming
@@ Property / cites work: A core language for fuzzy answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Equilibrium Logic
@@ Property / cites work: Fuzzy Equilibrium Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798022
@@ Property / cites work: Q4798022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946086
@@ Property / cites work: Q4946086 / rank @@
+Normal rank