Frontiers of combining systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.).
This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. Fr...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Ebook |
| Language: | English |
| Published: |
Heidelberg :
Springer,
2013.
|
| Series: | Lecture notes in computer science. Lecture notes in artificial intelligence
8152. LNCS sublibrary. Artificial intelligence |
| Subjects: | |
| Online Access: | Springer eBooks |
Table of Contents:
- Invited Talk 1. MetiTarski's Menagerie of Cooperating Systems / Lawrence C. Paulson
- Inductive Theorem Proving. Combining Superposition and Induction: A Practical Realization / Abdelkader Kersani, Nicolas Peltier
- Arrays and Memory Access Optimization. Definability of Accelerated Relations in a Theory of Arrays and Its Applications / Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
- Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows / Clara Bertolissi, Silvio Ranise
- Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages / Ralf Karrenberg, Marek Košta, Thomas Sturm
- Approximation and Forgetting. Roughening the EL Envelope / Rafael Peñaloza, Tingting Zou
- Uniform Interpolation of ALC -Ontologies Using Fixpoints / Patrick Koopmann, Renate A. Schmidt
- Abduction in Logic Programming as Second-Order Quantifier Elimination / Christoph Wernhard
- Invited Talk 2. Witness Runs for Counter Machines / Clark Barrett, Stéphane Demri, Morgan Deters
- Temporal and Description Logic Techniques. Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders / Philippe Balbiani, Szabolcs Mikulás
- Temporal Query Answering in the Description Logic DL-Lite / Stefan Borgwardt, Marcel Lippmann, Veronika Thost
- Verification of Golog Programs over Description Logic Actions / Franz Baader, Benjamin Zarrieß
- Invited Talk 3. Specification and Verification of Linear Dynamical Systems: Advances and Challenges / Joël Ouaknine
- Theorem Proving with Theories and Sorts. Obtaining Finite Local Theory Axiomatizations via Saturation / Matthias Horbach, Viorica Sofronie-Stokkermans
- Non-cyclic Sorts for First-Order Satisfiability / Konstantin Korovin
- Detection of First Order Axiomatic Theories / Guillaume Burel, Simon Cruanes
- Mechanizing the Metatheory of Sledgehammer / Jasmin Christian Blanchette, Andrei Popescu
- Invited Talk 4. From Resolution and DPLL to Solving Arithmetic Constraints / Konstantin Korovin
- Modal Logic and Description Logic. Tableaux for Relation-Changing Modal Logics / Carlos Areces, Raul Fervari, Guillaume Hoffmann
- Computing Minimal Models Modulo Subset-Simulation for Modal Logics / Fabio Papacchini, Renate A. Schmidt
- Hybrid Unification in the Description Logic EL / Franz Baader, Oliver Fernández Gil, Barbara Morawska
- Rewriting. Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering / Takahito Aoto
- On Forward Closure and the Finite Variant Property / Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran
- Term Rewriting with Logical Constraints / Cynthia Kop, Naoki Nishida.