IJCAR

Keyphrases

Publications

2022

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Clause Redundancy and Preprocessing in Maximum Satisfiability. IJCAR (2022)
Gilles Dowek
From the Universality of Mathematical Truth to the Interoperability of Proof Systems. IJCAR (2022)
Akihisa Yamada
Term Orderings for Non-reachability of (Conditional) Rewriting. IJCAR (2022)
Haniel Barbosa, Andrew Reynolds, 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)
Ori Lahav, Yoni Zohar
Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices. IJCAR (2022)
André Duarte, Konstantin Korovin
Ground Joinability and Connectedness in the Superposition Calculus. IJCAR (2022)
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)
Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson
Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers. IJCAR (2022)
Gereon Kremer, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description). IJCAR (2022)
Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant
Preprocessing of Propagation Redundant Clauses. IJCAR (2022)
S. Akshay, Supratik Chakraborty, Debtanu Pal
On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices. IJCAR (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
via Translation to FOL. IJCAR (2022)
Temur Kutsia, Cleopatra Pau
A Framework for Approximate Generalization in Quantitative Theories. IJCAR (2022)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR (2022)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR (2022)
Chad E. Brown, Cezary Kaliszyk
Lash 1.0 (System Description). IJCAR (2022)
Hui Yang, Yue Ma, Nicole Bidoit
-Ontology Justifications. IJCAR (2022)
Takuya Matsuzaki, Tomohiro Fujita
Formula Simplification via Invariance Detection by Algebraically Indexed Types. IJCAR (2022)
Camillo Fiorentini, Mauro Ferrari
SAT-Based Proof Search in Intermediate Propositional Logics. IJCAR (2022)
Tanel Tammet, Dirk Draheim, Priit Järv
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). IJCAR (2022)
Anupam Das, Marianna Girlando
Cyclic Proofs, Hypersequents, and Transitive Closure Logic. IJCAR (2022)
Vitor Greati, João Marcos
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. IJCAR (2022)
Marius Bozga, Lucas Bueri, Radu Iosif
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. IJCAR (2022)
Paolo Felli, Marco Montali, Sarah Winkler
Model Checking for Data-Aware Dynamic Systems with Arithmetic. IJCAR (2022)
Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz
Synthetic Tableaux: Minimal Tableau Search Heuristics. IJCAR (2022)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Local Reductions for the Modal Cube. IJCAR (2022)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Paraconsistent Gödel Modal Logic. IJCAR (2022)
Hendrik Leidinger, Christoph Weidenbach
SCL(EQ): SCL for First-Order Logic with Equality. IJCAR (2022)
Stepan Holub, Martin Raska, Stepán Starosta
Binary Codes that Do Not Preserve Primitivity. IJCAR (2022)
Andrzej Indrzejczak
Leśniewski's Ontology - Proof-Theoretic Characterization. IJCAR (2022)
Ying Sheng, Andres Nötzli, Andrew Reynolds, 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)
Martin Suda
Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description). IJCAR (2022)
Fajar Haifani, Christoph Weidenbach
Semantic Relevance. IJCAR (2022)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
Non-associative, Non-commutative Multi-modal Linear Logic. IJCAR (2022)
Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description). IJCAR (2022)
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. IJCAR (2022)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). IJCAR (2022)
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
Sequent Calculi for Choice Logics. IJCAR (2022)
Florian Frohn, Jürgen Giesl
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description). IJCAR (2022)
Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban
Guiding an Automated Theorem Prover with Neural Rewriting. IJCAR (2022)
Nils Lommen, Fabian Meyer, Jürgen Giesl
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. IJCAR (2022)
Andrei Popescu
Rensets and Renaming-Based Recursion for Syntax with Bindings. IJCAR (2022)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Actions over Core-Closed Knowledge Bases. IJCAR (2022)

volume 13385, 2022

Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings IJCAR 13385 (2022)

2018

volume 10900, 2018

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 10900 (2018)