FroCos

Publications

2019

Michael Rawson, Giles Reger
A Neurally-Guided, Parallel Theorem Prover. FroCos (2019)
Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
Epistemic Reasoning with Byzantine-Faulty Agents. FroCos (2019)
Ralph Bottesch, Max W. Haslbeck, René Thiemann
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL. FroCos (2019)
Warren Del-Pinto, Renate A. Schmidt
Extending Forgetting-Based Abduction Using Nominals. FroCos (2019)
Eugenia Ternovska
An Algebra of Modular Systems: Static and Dynamic Perspectives. FroCos (2019)
Dohan Kim, Christopher Lynch, Paliath Narendran
Reviving Basic Narrowing Modulo. FroCos (2019)
Alireza Ensan, Eugenia Ternovska
A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving. FroCos (2019)
Mnacho Echenim, Nicolas Peltier, Yanis Sellami
Ilinva: Using Abduction to Generate Loop Invariants. FroCos (2019)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
A CDCL-Style Calculus for Solving Non-linear Constraints. FroCos (2019)
David Fuenmayor, Christoph Benzmüller
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. FroCos (2019)
Carsten Fuhs
Transforming Derivational Complexity of Term Rewriting to Runtime Complexity. FroCos (2019)
Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm
^\mathsf ME. FroCos (2019)
Hans Kleine Büning, Piotr J. Wojciechowski, R. Chandrasekaran, K. Subramani
Restricted Cutting Plane Proofs in Horn Constraint Systems. FroCos (2019)
Andreas Teucke, Marco Voigt, Christoph Weidenbach
On the Expressivity and Applicability of Model Representation Formalisms. FroCos (2019)
Franz Baader, Filippo De Bortoli
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. FroCos (2019)
Manuel Eberl
Verifying Randomised Social Choice. FroCos (2019)
Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
On Asymmetric Unification for the Theory of XOR with a Homomorphism. FroCos (2019)
Takahito Aoto, Yoshihito Toyama
Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems. FroCos (2019)
Giles Reger, Martin Riener, Martin Suda
Symmetry Avoidance in MACE-Style Finite Model Finding. FroCos (2019)
Andrzej Indrzejczak
Two Is Enough - Bisequent Calculus for S5. FroCos (2019)

2015

2013