|
|
| (6 intermediate revisions by 4 users not shown) |
| Property / describes a project that uses |
| | | |
| Property / describes a project that uses: Gringo / rank |
| | | Normal rank |
| Property / describes a project that uses |
| | | |
| Property / describes a project that uses: clasp / rank |
| | | Normal rank |
| Property / describes a project that uses |
| | | |
| Property / describes a project that uses: Terminyzer / rank |
| | | Normal rank |
| Property / MaRDI profile type |
| | | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | | Normal rank |
| Property / arXiv ID |
| | | |
| Property / arXiv ID: 1407.2106 / 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: Termination of term rewriting using dependency pairs / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: On finitely recursive programs / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: On the power of magic / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Reasoning with infinite stable models / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings / 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: Logic Programming / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Matrix interpretations for proving termination of term rewriting / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Data exchange: semantics and query answering / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Total termination of term rewriting / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3983043 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Optimization of bound disjunctive queries with constraints / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: On the Termination of Logic Programs with Function Symbols / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: A framework for testing safety and effective computability / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: A practical analysis of non-termination in large logic programs / 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: Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Termination Analysis of Logic Programs Based on Dependency Graphs / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Termination of narrowing via termination of rewriting / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Termination of logic programs: Transformational methods revisited / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: The Dependency Triple Framework for Termination of Logic Programs / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Automated termination proofs for logic programs by term rewriting / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Automated termination analysis for logic programs with cut / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Termination of logic programs: the never-ending story / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: On termination of meta-programs / 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: Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15--17, 2008. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Dependency Triples for Improving Termination Analysis of Logic Programs with Cut / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4798015 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Complexity of the unification algorithm for first-order expressions / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Non-termination Analysis of Logic Programs Using Types / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4847000 / rank |
| | | Normal rank |
| Property / OpenAlex ID |
| | | |
| Property / OpenAlex ID: W2135520900 / rank |
| | | Normal rank |
