| SCL(EQ): SCL for First-Order Logic with Equality
|
2022 |
Leidinger, Hendrik |
| SAT-Based Proof Search in Intermediate Propositional Logics
|
2022 |
Fiorentini, Camillo |
| Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description)
|
2022 |
Kremer, Gereon |
| Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
|
2022 |
Durán, Francisco |
| Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)
|
2022 |
Cailler, Julie |
| Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices
|
2022 |
Lahav, Ori |
| Leśniewski’s Ontology - Proof-Theoretic Characterization
|
2022 |
Indrzejczak, Andrzej |
| GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)
|
2022 |
Tammet, Tanel |
| Synthetic Tableaux: Minimal Tableau Search Heuristics
|
2022 |
Sochański, Michał |
| Connection-Minimal Abduction in EL via Translation to FOL
|
2022 |
Haifani, Fajar |
| Preprocessing of Propagation Redundant Clauses
|
2022 |
Reeves, Joseph E. |
| Reasoning About Vectors Using an SMT Theory of Sequences
|
2022 |
Sheng, Ying |
| CTL∗ Model Checking for Data-Aware Dynamic Systems with Arithmetic
|
2022 |
Felli, Paolo |
| An Efficient Subsumption Test Pipeline for BS(LRA) Clauses
|
2022 |
Bromberger, Martin |
| From the Universality of Mathematical Truth to the Interoperability of Proof Systems
|
2022 |
Dowek, Gilles |
| Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
|
2022 |
Albert, Elvira |
| Cyclic Proofs, Hypersequents, and Transitive Closure Logic
|
2022 |
Das, Anupam |
| Local Reductions for the Modal Cube
|
2022 |
Nalon, Cláudia |
| Sequent Calculi for Choice Logics
|
2022 |
Bernreiter, Michael |
| Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description)
|
2022 |
Suda, Martin |
Tag hinzufügen