IJCAR (2)

Keyphrases

Publications

2024

Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. IJCAR (2) (2024)
Georg Ehling, Temur Kutsia
Solving Quantitative Equations. IJCAR (2) (2024)
Franz Baader, Oliver Fernández Gil
Without the Top Concept Modulo Cycle-Restricted Ontologies. IJCAR (2) (2024)
Enguerrand Prebet, André Platzer
Uniform Substitution for Differential Refinement Logic. IJCAR (2) (2024)
Agata Ciabattoni, Matteo Tesi
Sequents vs Hypersequents for Åqvist Systems. IJCAR (2) (2024)
Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
Model Construction for Modal Clauses. IJCAR (2) (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
The Benefits of Diligence. IJCAR (2) (2024)
Harald Ruess
A Decision Method for First-Order Stream Logic. IJCAR (2) (2024)
Matteo Acclavio
Sequent Systems on Undirected Graphs. IJCAR (2) (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) (2024)
Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
Equational Anti-unification over Absorption Theories. IJCAR (2) (2024)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
A Cyclic Proof System for Guarded Kleene Algebra with Tests. IJCAR (2) (2024)
Dirk Pattinson, Cláudia Nalon
Non-iterative Modal Resolution Calculi. IJCAR (2) (2024)
Alessandro Bruni, Eike Ritter, Carsten Schürmann
Skolemisation for Intuitionistic Linear Logic. IJCAR (2) (2024)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. IJCAR (2) (2024)
Anupam Das, Abhishek De
A Proof Theory of (ømega-)Context-Free Languages, via Non-wellfounded Proofs. IJCAR (2) (2024)
Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl
A Dependency Pair Framework for Relative Termination of Term Rewriting. IJCAR (2) (2024)
Camillo Fiorentini, Mauro Ferrari
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property. IJCAR (2) (2024)
Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? IJCAR (2) (2024)
Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman
Equivalence Checking of Quantum Circuits by Model Counting. IJCAR (2) (2024)
Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
Confluence of Logically Constrained Rewrite Systems Revisited. IJCAR (2) (2024)

volume 14740, 2024

Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II IJCAR (2) 14740 (2024)

2020

volume 12167, 2020

Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II IJCAR (2) 12167 (2020)