1.8k citations
- Centre National de la Recherche ScientifiqueFR528 papers
- University of ViennaAT480 papers
- Vienna Center for Quantum Science and TechnologyAT328 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR275 papers
- European Organization for Nuclear ResearchCH263 papers
- Charles UniversityCZ245 papers
- ETH ZurichCH223 papers
- Institute of High Energy PhysicsCN223 papers
- Université Paris-SaclayFR219 papers
- CEA Paris-SaclayFR215 papers
- University of WarsawPL215 papers
- Massachusetts Institute of TechnologyUS209 papers
8 papers · 2 filters
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
Bernhard Gramlich, Felix Schernhammer
We introduce a modified version of the well-known dependency pair framework that is suitable for the termination analysis of rewriting under forbidden pattern restrictions. By atta…
An Optimization for Reasoning with Forest Logic Programs
Cristina Feier, Stijn Heymans
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg…
Reformulation of Global Constraints in Answer Set Programming
Christian Drescher, Toby Walsh
We show that global constraints on finite domains like all-different can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reformu…
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Martin Schwengerer +1
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source-…
A Translational Approach to Constraint Answer Set Solving
Christian Drescher, Toby Walsh
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in A…
Automatic Generation of Proof Tactics for Finite-Valued Logics
João Marcos
A number of flexible tactic-based logical frameworks are nowadays available that can implement a wide range of mathematical theories using a common higher-order metalanguage. Used…