Frontiers of Combining Systems

- Invited Talks

- Building SMT-Based Software Model Checkers: An Experience Report

- Combining Nonmonotonic Knowledge Bases with External Sources

- Combining Description Logics, Description Graphs, and Rules

- Combining Equational Reasoning

- Technical Papers

- Superposition Modulo Linear Arithmetic SUP(LA)

- Unification Modulo Homomorphic Encryption

- Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

- Runtime Verification Using a Temporal Description Logic

- Axiomatization and Completeness of Lexicographic Products of Modal Logics

- Automating Theories in Intuitionistic Logic

- Taming the Complexity of Temporal Epistemic Reasoning

- Putting ABox Updates into Action

- A Declarative Agent Programming Language Based on Action Theories

- Termination Modulo Combinations of Equational Theories

- Combinations of Theories for Decidable Fragments of First-Order Logic

- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property

- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme

- Combining Instance Generation and Resolution

- Data Structures with Arithmetic Constraints: A Non-disjoint Combination

- Efficient Combination of Decision Procedures for MUS Computation

- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas

- Combining Theories with Shared Set Operations