Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Lecture Notes in Artificial Intelligence ;
10483 |
| Subjects: |
Table of Contents:
- Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
- Designing Theory Solvers with Extensions
- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation
- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors
- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case)
- Subtropical Satisfiability
- Finitariness of Elementary Unification in Boolean Region Connection Calculus
- Metric Temporal Description Logics with Interval-Rigid Names
- Superposition with Integrated Induction
- The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable
- Decidable Verification of Decision-Theoretic Golog
- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions
- Complexity Analysis for Term Rewriting by Integer Transition Systems
- Using Ontologies to Query Probabilistic Numerical Data
- Merging Fragments of Classical Logic
- On Solving Nominal Fixpoint Equations
- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems
- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report
- The Boolean Solution Problem from the Perspective of Predicate Logic. .