The PITA system: Tabling and answer subsumption for reasoning under uncertainty (Q3087434): Difference between revisions

@@ Property / author @@
-Terrance Swift
@@ Property / author: Terrance Swift / rank @@
-Normal rank
@@ Property / author @@
+Terrance Swift
@@ Property / author: Terrance Swift / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4747
@@ Property / arXiv ID: 1107.4747 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58063789
@@ Property / Wikidata QID: Q58063789 / rank @@
+Normal rank
@@ Property / cites work @@
+Tabling for non-monotonic programming
@@ Property / cites work: Tabling for non-monotonic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Abducing through negation as failure: stable models within the independent choice logic
+Normal rank
@@ Property / cites work @@
+Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
+Normal rank
@@ Property / cites work @@
+Semantics for Possibilistic Disjunctive Programs
@@ Property / cites work: Semantics for Possibilistic Disjunctive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Possibilistic uncertainty handling for answer set programming
+Normal rank
@@ Property / cites work @@
+On the Efficient Execution of ProbLog Programs
@@ Property / cites work: On the Efficient Execution of ProbLog Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Possibilistic logic: a retrospective and prospective view
+Normal rank
@@ Property / cites work @@
+Non-discriminating Arguments and Their Uses
@@ Property / cites work: Non-discriminating Arguments and Their Uses / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
+Normal rank
@@ Property / cites work @@
+Probabilistic reasoning with answer sets
@@ Property / cites work: Probabilistic reasoning with answer sets / rank @@
+Normal rank
@@ Property / cites work @@
+Extended semantics and inference for the Independent Choice Logic
+Normal rank
@@ Property / cites work @@
+Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
+Normal rank
@@ Property / cites work @@
+The independent choice logic for modelling multiple agents under uncertainty
+Normal rank
@@ Property / OpenAlex ID @@
+W1983128223
@@ Property / OpenAlex ID: W1983128223 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tplp/RiguzziS11
@@ Property / DBLP publication ID: journals/tplp/RiguzziS11 / rank @@
+Normal rank