Frontiers of Combining Systems

1. Front Matter

   PDF

2. Invited Talks

   1. Building SMT-Based Software Model Checkers: An Experience Report

      • Alessandro Armando

      Pages 1-17

   2. Combining Nonmonotonic Knowledge Bases with External Sources

      • Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner

      Pages 18-42

   3. Combining Description Logics, Description Graphs, and Rules

      • Boris Motik

      Pages 43-67

   4. Combining Equational Reasoning

      • Ashish Tiwari

      Pages 68-83

3. Technical Papers

   1. Superposition Modulo Linear Arithmetic SUP(LA)

      • Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach

      Pages 84-99

   2. Unification Modulo Homomorphic Encryption

      • Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch

      Pages 100-116

   3. Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

      • Takahito Aoto, Toshiyuki Yamada

      Pages 117-132

   4. DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

      • Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

      Pages 133-148

   5. Runtime Verification Using a Temporal Description Logic

      • Franz Baader, Andreas Bauer, Marcel Lippmann

      Pages 149-164

   6. Axiomatization and Completeness of Lexicographic Products of Modal Logics

      • Philippe Balbiani

      Pages 165-180

   7. Automating Theories in Intuitionistic Logic

      • Guillaume Burel

      Pages 181-197

   8. Taming the Complexity of Temporal Epistemic Reasoning

      • Clare Dixon, Michael Fisher, Boris Konev

      Pages 198-213

   9. Putting ABox Updates into Action

      • Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke et al.

      Pages 214-229

   10. A Declarative Agent Programming Language Based on Action Theories

       • Conrad Drescher, Stephan Schiffel, Michael Thielscher

       Pages 230-245

   11. Termination Modulo Combinations of Equational Theories

       • Francisco Durán, Salvador Lucas, José Meseguer

       Pages 246-262

   12. Combinations of Theories for Decidable Fragments of First-Order Logic

       • Pascal Fontaine

       Pages 263-278

   13. Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property

       • Agi Kurucz

       Pages 279-286

   14. Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme

       • Stéphane Lescuyer, Sylvain Conchon

       Pages 287-303

   15. Combining Instance Generation and Resolution

       • Christopher Lynch, Ralph Eric McGregor

       Pages 304-318

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

• LA
• agent programming language
• complexity
• data mining
• description logic
• equational reasoning
• knowledge base
• knowledge bases
• learning
• linear arithmetic
• modal logic
• model checking
• programming
• proving
• verification
• algorithm analysis and problem complexity

• Department of Computer Science, Università degli Studi di Milano, Milano, Italy

  Silvio Ghilardi

• Dipartemento di Ingegneria e Scienza dell’Informazione, Università di Trento, Facoltà di Scienze, Povo, Italy

  Roberto Sebastiani

Policies and ethics