1.8k citations
- Centre National de la Recherche ScientifiqueFR184 papers
- University of ViennaAT137 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR119 papers
- European Organization for Nuclear ResearchCH107 papers
- Charles UniversityCZ106 papers
- CEA Paris-SaclayFR102 papers
- Université Paris-SaclayFR102 papers
- University of BolognaIT90 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ89 papers
- Institute of High Energy PhysicsCN88 papers
- Sapienza University of RomeIT85 papers
- Centro de Investigaciones Energéticas, Medioambientales y TecnológicasES83 papers
5 papers · 2 filters
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Tobias Geibinger, Hans Tompits
Paraconsistent logics constitute an important class of formalisms dealing with non-trivial reasoning from inconsistent premisses. In this paper, we introduce uniform axiomatisation…
Trace Logic for Inductive Loop Reasoning
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
We propose trace logic, an instance of many-sorted first-order logic, to automate the partial correctness verification of programs containing loops. Trace logic generalizes semanti…
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard
Markus Hecher, Jorge Fandinno
It is well-know that deciding consistency for normal answer set programs (ASP) is NP-complete, thus, as hard as the satisfaction problem for classical propositional logic (SAT). Th…
Interactive Visualization of Saturation Attempts in Vampire
Bernhard Gleiss, Laura Kovacs, Lena Schnedlitz
Many applications of formal methods require automated reasoning about system properties, such as system safety and security. To improve the performance of automated reasoning engin…
selp: A Single-Shot Epistemic Logic Program Solver
Manuel Bichler, Michael Morak, Stefan Woltran
Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple…