<tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088): Difference between revisions

@@ Property / describes a project that uses @@
+Clingcon
@@ Property / describes a project that uses: Clingcon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07717
@@ Property / arXiv ID: 1503.07717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4906882
@@ Property / cites work: Q4906882 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
+Normal rank
@@ Property / cites work @@
+Disjunctive ASP with functions: Decidable queries and effective computation
+Normal rank
@@ Property / cites work @@
+Q3089162
@@ Property / cites work: Q3089162 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable subclass of finitary programs
@@ Property / cites work: A decidable subclass of finitary programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Functions in ASP: Theory and Implementation
+Normal rank
@@ Property / cites work @@
+Q2880785
@@ Property / cites work: Q2880785 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimenting with parallelism for the instantiation of ASP programs
+Normal rank
@@ Property / cites work @@
+GASP: Answer Set Programming with Lazy Grounding
@@ Property / cites work: GASP: Answer Set Programming with Lazy Grounding / rank @@
+Normal rank
@@ Property / cites work @@
+The Intelligent Grounder of DLV
@@ Property / cites work: The Intelligent Grounder of DLV / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering an Incremental ASP Solver
@@ Property / cites work: Engineering an Incremental ASP Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+A non-ground realization of the stable and well-founded semantics
+Normal rank
@@ Property / cites work @@
+Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments
+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 @@
+Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+One More Decidable Class of Finitely Ground Programs
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Logic programs with abstract constraint atoms: the role of computations
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5--8, 2005. Proceedings.
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+ASP modulo CSP: The clingcon system
@@ Property / cites work: ASP modulo CSP: The clingcon system / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing DLV instantiator by backjumping techniques
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Connecting First-Order ASP and the Logic FO(ID) through Reducts
+Normal rank