Justifications for logic programs under answer set semantics (Q3612602): Difference between revisions

@@ Property / author @@
-Tran Cao Son
@@ Property / author: Tran Cao Son / rank @@
-Normal rank
@@ Property / author @@
+Tran Cao Son
@@ Property / author: Tran Cao Son / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gringo
@@ Property / describes a project that uses: Gringo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DiSCiPl
@@ Property / describes a project that uses: DiSCiPl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+The nomore + + Approach to Answer Set Solving
@@ Property / cites work: The nomore + + Approach to Answer Set Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Temporal phylogenetic networks and logic programming
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Opium: an extendable trace analyzer for Prolog
@@ Property / cites work: Opium: an extendable trace analyzer for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for compiling preferences  in logic programs
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence and range of applicability of graph-based representations of logic programs.
+Normal rank
@@ Property / cites work @@
+Transformation-based bottom-up computation of the well-founded model
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Debugging ASP Programs by Means of ASP
@@ Property / cites work: Debugging ASP Programs by Means of ASP / rank @@
+Normal rank
@@ Property / cites work @@
+Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Answer set based design of knowledge systems
@@ Property / cites work: Answer set based design of knowledge systems / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnostic reasoning with A-Prolog
@@ Property / cites work: Diagnostic reasoning with A-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+cr-models: An Inference Engine for CR-Prolog
@@ Property / cites work: cr-models: An Inference Engine for CR-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs and colorings for answer set programming
@@ Property / cites work: Graphs and colorings for answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded LTL model checking with stable models
@@ Property / cites work: Bounded LTL model checking with stable models / rank @@
+Normal rank