| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olle Torstensson, Tjark Weber |
Hammering Floating-Point Arithmetic.  |
FroCoS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryota Haga, Yuki Kagaya, Takahito Aoto 0001 |
A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen |
Recurrence-Driven Summations in Automated Deduction. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chad E. Brown, Adam Pease, Josef Urban |
Translating SUMO-K to Higher-Order Set Theory. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Lommen, Jürgen Giesl |
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle Möhle |
An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach |
Symbolic Model Construction for Saturated Constrained Horn Clauses. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Teppei Saito, Nao Hirokawa |
Weighted Path Orders Are Semantic Path Orders. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett |
Formal Verification of Bit-Vector Invertibility Conditions in Coq. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach |
KBO Constraint Solving Revisited. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Sattler, Martin Suda 0001 (eds.) |
Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller 0001 |
Formal Reasoning Using Distributed Assertions. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk, Josef Urban |
Learning Proof Transformations and Its Applications in Interactive Theorem Proving. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett |
Combining Finite Combination Properties: Finite Models and Busy Beavers. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid 0001 |
Logic of Communication Interpretation: How to Not Get Lost in Translation. |
FroCoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Subramani 0001, Piotr Wojciechowski 0002, Alvaro Velasquez |
On the Copy Complexity of Width 3 Horn Constraint Systems. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Lin 0005, Christopher Lynch |
Formal Analysis of Symbolic Authenticity. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zarathustra Amadeus Goertzel, Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban |
Fast and Slow Enigmas and Parental Guidance. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mostafa Sakr, Renate A. Schmidt |
Semantic Forgetting in Expressive Description Logics. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach |
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingxiang Wang, Cezary Kaliszyk |
JEFL: Joint Embedding of Formal Proof Libraries. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Suda 0001 |
Vampire with a Brain Is a Good ITP Hammer. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Fontaine, Hans-Jörg Schurr |
Quantifier Simplification by Unification in SMT. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Lin 0005, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek |
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Giles Reger (eds.) |
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin |
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Defourné |
Improving Automation for Higher-Order Proof Steps. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv |
Restricted Unification in the DL ℱ0. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Non-disjoint Combined Unification and Closure by Equational Paramodulation. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Laine E. Rumreich, Paolo A. G. Sivilotti |
Formal Verification of a Java Component Using the RESOLVE Framework. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner 0001 |
Combining Event Calculus and Description Logic Reasoning via Logic Programming. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Peuter, Viorica Sofronie-Stokkermans |
Symbol Elimination and Applications to Parametric Entailment Problems. |
FroCoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Andrei Popescu 0001 (eds.) |
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings |
FroCoS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Lynch, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar |
On Asymmetric Unification for the Theory of XOR with a Homomorphism. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kuznets, Laurent Prosperi, Ulrich Schmid 0001, Krisztina Fruzsa |
Epistemic Reasoning with Byzantine-Faulty Agents. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Warren Del-Pinto, Renate A. Schmidt |
Extending Forgetting-Based Abduction Using Nominals. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Rawson 0001, Giles Reger |
A Neurally-Guided, Parallel Theorem Prover. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dohan Kim 0001, Christopher Lynch, Paliath Narendran |
Reviving Basic Narrowing Modulo. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Filippo De Bortoli |
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fuenmayor, Christoph Benzmüller |
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenia Ternovska |
An Algebra of Modular Systems: Static and Dynamic Perspectives. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Indrzejczak |
Two Is Enough - Bisequent Calculus for S5. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Fuhs |
Transforming Derivational Complexity of Term Rewriting to Runtime Complexity. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Teucke, Marco Voigt, Christoph Weidenbach |
On the Expressivity and Applicability of Model Representation Formalisms. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahito Aoto 0001, Yoshihito Toyama |
Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alireza Ensan, Eugenia Ternovska |
A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Kleine Büning, Piotr Wojciechowski 0002, R. Chandrasekaran, K. Subramani 0001 |
Restricted Cutting Plane Proofs in Horn Constraint Systems. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller |
A CDCL-Style Calculus for Solving Non-linear Constraints. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Eberl |
Verifying Randomised Social Choice. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, Martin Riener, Martin Suda 0001 |
Symmetry Avoidance in MACE-Style Finite Model Finding. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm |
The Complexity of the Consistency Problem in the Probabilistic Description Logic ℒME. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mnacho Echenim, Nicolas Peltier, Yanis Sellami |
Ilinva: Using Abduction to Generate Loop Invariants. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Bottesch, Max W. Haslbeck, René Thiemann |
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ghilardi, Alessandro Gianola |
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case). |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Voigt |
The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Cruanes |
Superposition with Structural Induction. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Anela Lolic |
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Wernhard |
The Boolean Solution Problem from the Perspective of Predicate Logic. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader |
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl |
Complexity Analysis for Term Rewriting by Integer Transition Systems. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
On Solving Nominal Fixpoint Equations. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Marcelo Finger (eds.) |
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Claßen, Benjamin Zarrieß |
Decidable Verification of Decision-Theoretic Golog. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Reynolds 0001, Cesare Tinelli, Dejan Jovanovic, Clark W. Barrett |
Designing Theory Solvers with Extensions. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama |
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost |
Metric Temporal Description Logics with Interval-Rigid Names. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti |
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu 0001, Christian Sternagel, René Thiemann, Dmitriy Traytel |
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan |
Using Ontologies to Query Probabilistic Numerical Data. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelena Vlasenko, Volker Haarslev, Brigitte Jaumard |
Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Sérgio Marcelino, João Marcos 0001 |
Merging Fragments of Classical Logic. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Çigdem Gencer |
Finitariness of Elementary Unification in Boolean Region Connection Calculus. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu |
Subtropical Satisfiability. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Philipp |
An Expressive Model for Instance Decomposition Based Parallel SAT Solvers. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Böhme, Marcel Lippmann |
Decidable Description Logics of Context with Rigid Roles. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Teucke, Christoph Weidenbach |
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Amira Zaki, Slim Abdennadher, Thom W. Frühwirth |
Combining Forward and Backward Propagation. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
A New Acceleration-Based Combination Framework for Array Properties. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Alagi, Christoph Weidenbach |
NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Burel, Gilles Dowek, Ying Jiang |
A Completion Method to Decide Reachability in Rewrite Systems. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine |
Adapting Real Quantifier Elimination Methods for Conflict Set Computation. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin |
Axiomatic Constraint Systems for Proof Search Modulo Theories. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Backeman, Philipp Rümmer |
Free Variables and Theories: Revisiting Rigid E-unification. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Winkler, René Thiemann |
Formalizing Soundness and Completeness of Unravelings. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
Unification and Matching in Hierarchical Combinations of Syntactic Theories. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianyi Liang, Nestan Tsiskaridze, Andrew Reynolds 0001, Cesare Tinelli, Clark W. Barrett |
A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Silvio Ranise (eds.) |
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings |
FroCoS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Gerhard Brewka, Oliver Fernandez Gil |
Adding Threshold Concepts to the Description Logic EL. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson |
Proofs and Reconstructions. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil |
Lemmatization for Stronger Reasoning in Large Theories. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Christ, Jochen Hoenicke |
Weakly Equivalent Arrays. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Färber 0002, Cezary Kaliszyk |
Random Forests for Premise Selection. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Borgwardt, Rafael Peñaloza |
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans |
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen |
A Rewriting Approach to the Combination of Data Structures with Bridging Theories. |
FroCos |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Benjamin Zarrieß |
Verification of Golog Programs over Description Logic Actions. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Bertolissi, Silvio Ranise |
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Korovin |
From Resolution and DPLL to Solving Arithmetic Constraints. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001 |
Hybrid Unification in the Description Logic. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence C. Paulson |
MetiTarski's Menagerie of Cooperating Systems. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license