Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edición: | 1st ed. 2017. |
| Colección: | Lecture Notes in Artificial Intelligence ;
10483 |
| Materias: |
Tabla de Contenidos:
- 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. .