1.4k citations
- Centre National de la Recherche ScientifiqueFR43 papers
- University of ViennaAT37 papers
- Heidelberg UniversityDE21 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR17 papers
- European Organization for Nuclear ResearchCH16 papers
- CEA Paris-SaclayFR13 papers
- Vienna Center for Quantum Science and TechnologyAT12 papers
- Austrian Academy of SciencesAT11 papers
- Charles UniversityCZ11 papers
- Max Planck Institute for Solid State ResearchDE11 papers
- ETH ZurichCH10 papers
- University of WürzburgDE10 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…