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