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
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 8 cited
CERES for First-Order Schemata
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia +1
The cut-elimination method CERES (for first- and higher-order classical logic) is based on the notion of a characteristic clause set, which is extracted from an LK-proof and is alw…
cs.LO2013★ 2 cited
Eliminating Unfounded Set Checking for HEX-Programs
Thomas Eiter, Michael Fink, Thomas Krennwallner +2
HEX-programs are an extension of the Answer Set Programming (ASP) paradigm incorporating external means of computation into the declarative programming language through so-called e…