On Hierarchical Reasoning in Combinations of Theories
From MaRDI portal
Publication:5747749
DOI10.1007/978-3-642-14203-1_4zbMATH Open1291.03018OpenAlexW1484186647MaRDI QIDQ5747749FDOQ5747749
Authors: Carsten Ihlemann, Viorica Sofronie-Stokkermans 
Publication date: 14 September 2010
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11858/00-001M-0000-000F-14B7-2
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
- A mathematical introduction to logic.
- Simplification by Cooperating Decision Procedures
- Title not available (Why is that?)
- Model theory.
- Automatic recognition of tractability in inference relations
- On Local Reasoning in Verification
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Combining nonstably infinite theories
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- The complexity of linear problems in fields
- Polynomial Time Uniform Word Problems
- Automated Reasoning
- Model-theoretic methods in combined constraint satisfiability
- Deciding the word problem in the union of equational theories.
- Unions of non-disjoint theories and combinations of satisfiability procedures
- Automated complexity analysis based on ordered resolution
- Automated Deduction – CADE-20
- Automated reasoning in some local exensions of ordered structures
- Model-companions and definability in existentially complete structures
- Polynomial-time computation via local inference relations
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Cited In (18)
- 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
- Complete instantiation-based interpolation
- On invariant synthesis for parametric systems
- Applications of hierarchical reasoning in the verification of complex systems
- Title not available (Why is that?)
- 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}^+$$
- An adaptive reasoning approach towards effficient ordering of composite hypotheses
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)
