| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Claudia Cauli, Magdalena Ortiz 0001, Nir Piterman |
Actions over Core-Closed Knowledge Bases.  |
IJCAR  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli |
Reasoning About Vectors Using an SMT Theory of Sequences. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz |
Synthetic Tableaux: Minimal Tableau Search Heuristics. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Felli, Marco Montali, Sarah Winkler |
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Lucas Bueri, Radu Iosif |
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Lommen, Fabian Meyer, Jürgen Giesl |
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Marianna Girlando |
Cyclic Proofs, Hypersequents, and Transitive Closure Logic. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant |
Preprocessing of Propagation Redundant Clauses. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gereon Kremer, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli |
Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Camillo Fiorentini, Mauro Ferrari 0002 |
SAT-Based Proof Search in Intermediate Propositional Logics. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fajar Haifani, Christoph Weidenbach |
Semantic Relevance. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan Holub, Martin Raska, Stepán Starosta |
Binary Codes that Do Not Preserve Primitivity. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanel Tammet, Dirk Draheim, Priit Järv |
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson |
Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitor Greati, João Marcos 0001 |
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihisa Yamada 0002 |
Term Orderings for Non-reachability of (Conditional) Rewriting. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Takuya Matsuzaki, Tomohiro Fujita |
Formula Simplification via Invariance Detection by Algebraically Indexed Types. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Ihalainen, Jeremias Berg, Matti Järvisalo |
Clause Redundancy and Preprocessing in Maximum Satisfiability. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Yang, Yue Ma 0009, Nicole Bidoit |
Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bernreiter, Anela Lolic, Jan Maly 0001, Stefan Woltran |
Sequent Calculi for Choice Logics. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio |
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | André Duarte 0002, Konstantin Korovin |
Ground Joinability and Connectedness in the Superposition Calculus. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach |
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chad E. Brown, Cezary Kaliszyk |
Lash 1.0 (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez 0001 |
Evonne: Interactive Proof Visualization for Description Logics (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov |
Non-associative, Non-commutative Multi-modal Linear Logic. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane |
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer |
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban |
Guiding an Automated Theorem Prover with Neural Rewriting. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
From the Universality of Mathematical Truth to the Interoperability of Proof Systems. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Suda 0001 |
Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ori Lahav 0001, Yoni Zohar |
Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.) |
Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia, Cleo Pau |
A Framework for Approximate Generalization in Quantitative Theories. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Indrzejczak |
Leśniewski's Ontology - Proof-Theoretic Characterization. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott |
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Haniel Barbosa, Andrew Reynolds 0001, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett |
Flexible Proof Production in an Industrial-Strength SMT Solver. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Leidinger, Christoph Weidenbach |
SCL(EQ): SCL for First-Order Logic with Equality. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach |
Connection-Minimal Abduction in EL via Translation to FOL. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay 0001, Supratik Chakraborty, Debtanu Pal |
On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
Local Reductions for the Modal Cube. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko |
Paraconsistent Gödel Modal Logic. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma |
A New Probabilistic Algorithm for Approximate Model Counting. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Jeannerod, Ralf Treinen |
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Nicholas Smallbone |
Efficient Encodings of First-Order Horn Formulas in Equational Logic. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Johannes Greiner |
Complexity of Combinations of Qualitative Constraint Satisfaction Problems. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Sandro Preto |
Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Reynolds 0001, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, Clark W. Barrett |
Datatypes with Shared Selectors. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva 0001 |
A SAT-Based Approach to Learn Explainable Decision Sets. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bromberger |
A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula, Sebastian Link |
Automated Reasoning About Key Sets. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Acclavio, Lutz Straßburger |
From Syntactic Proofs to Combinatorial Proofs. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Rapp, Aart Middeldorp |
FORT 2.0. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish |
Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mnacho Echenim, Nicolas Peltier, Yanis Sellami |
A Generic Framework for Implicate Generation Modulo Theories. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Huang 0002, Feifei Ma, Cunjing Ge, Jian Zhang 0001, Hantao Zhang 0001 |
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio César López-Hernández, Konstantin Korovin |
An Abstraction-Refinement Framework for Reasoning with Large Theories. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ciobaca, Dorel Lucanu |
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov |
A Logical Framework with Commutative and Non-commutative Subexponentials. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lonsing, Uwe Egly |
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Uniform Substitution for Differential Game Logic. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer |
Exploring Approximations for Floating-Point Arithmetic Using UppSAT. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, David Declerck, Fatiha Zaïdi |
Cubicle- W : Parameterized Model Checking on Weak Memory. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Katalin Fazekas, Fahiem Bacchus, Armin Biere |
Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Peter Lettmann, Nicolas Peltier |
A Tableaux Calculus for Reducing Proof Size. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Tanja Schindler |
Efficient Interpolation for the Theory of Arrays. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Winkler, Georg Moser |
MædMax: A Maximal Ordered Completion Tool. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002 |
Focussing, MALL and the Polynomial Hierarchy. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann |
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré |
Well-Founded Unions. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov |
A FOOLish Encoding of the Next State Relations of Imperative Programs. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule |
Extended Resolution Simulates DRAT. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nao Hirokawa, Julian Nagele, Aart Middeldorp |
Cops and CoCoWeb: Infrastructure for Confluence Tools. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Galmiche, Stephan Schulz 0001, Roberto Sebastiani (eds.) |
Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral |
Efficient Model Construction for Horn Logic with VLog - System Description. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann |
Superposition for Lambda-Free Higher-Order Logic. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Steen, Christoph Benzmüller |
The Higher-Order Prover Leo-III. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yizheng Zhao, Renate A. Schmidt |
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard |
Superposition with Datatypes and Codatatypes. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher |
A Separation Logic with Data: Small Models and Automation. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Piotrowski, Josef Urban |
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne Payet, Fausto Spoto |
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia Nalon, Dirk Pattinson |
A Resolution-Based Calculus for Preferential Logics. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Larchey-Wendling |
Constructive Decision via Redundancy-Free Proof-Search. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Müller 0001, Florian Rabe 0001, Michael Kohlhase |
Theories as Types. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bohua Zhan, Maximilian P. L. Haslbeck |
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Melquiond, Raphaël Rieu-Helft |
A Why3 Framework for Reflection Proofs and Its Application to GMP's Algorithms. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Peter Skocovský |
Enumerating Justifications Using Resolution. |
IJCAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller |
Effective Normalization Techniques for HOL. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Selsam, Leonardo de Moura 0001 |
Congruence Closure in Intensional Type Theory. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa |
raSAT: An SMT Solver for Polynomial Constraints. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Docherty, David J. Pym |
Intuitionistic Layered Graph Logic. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Viorica Sofronie-Stokkermans |
On Interpolation and Symbol Elimination in Theory Extensions. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Sasha Rubin |
Model Checking Parameterised Multi-token Systems via the Composition Method. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Athanasiou, Peizun Liu, Thomas Wahl |
Unbounded-Thread Program Verification using Thread-State Equations. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Hoder, Giles Reger, Martin Suda 0001, Andrei Voronkov |
Selecting the Selection. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license