On Hierarchical Reasoning in Combinations of Theories
From MaRDI portal
Publication:5747749
Recommendations
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
- Automated Deduction – CADE-20
- On hierarchical propositions
- Hierarchical deduction
- Hierarchies of beliefs for compact possibility models
- A theory of hierarchical consequence and conditionals
- Hierarchies in independence logic
- Hierarchies in Dependence Logic
- Hierarchies of probabilistic logics
Cites work
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- A mathematical introduction to logic.
- Automated Deduction – CADE-20
- Automated Reasoning
- Automated complexity analysis based on ordered resolution
- Automated reasoning in some local exensions of ordered structures
- Automatic recognition of tractability in inference relations
- Combining nonstably infinite theories
- Computer Aided Verification
- Deciding the word problem in the union of equational theories.
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
- Model theory.
- Model-companions and definability in existentially complete structures
- Model-theoretic methods in combined constraint satisfiability
- On Local Reasoning in Verification
- Polynomial Time Uniform Word Problems
- Polynomial-time computation via local inference relations
- Simplification by Cooperating Decision Procedures
- The complexity of linear problems in fields
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- Unions of non-disjoint theories and combinations of satisfiability procedures
- Verification, Model Checking, and Abstract Interpretation
Cited in
(18)- An adaptive reasoning approach towards effficient ordering of composite hypotheses
- Symbol elimination and applications to parametric entailment problems
- Locality Results for Certain Extensions of Theories with Bridging Functions
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Decidability of verification of safety properties of spatial families of linear hybrid automata
- Automated Deduction – CADE-20
- On Local Reasoning in Verification
- On invariant synthesis for parametric systems
- Complete instantiation-based interpolation
- Applications of hierarchical reasoning in the verification of complex systems
- scientific article; zbMATH DE number 1538016 (Why is no real title available?)
- On First-Order Model-Based Reasoning
- On combinations of local theory extensions
- Combining theories with shared set operations
- Automated reasoning in some local exensions of ordered structures
- Hierarchical reasoning for the verification of parametric systems
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
- On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$
This page was built for publication: On Hierarchical Reasoning in Combinations of Theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747749)
