Frontiers of Combining Systems

7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

AvSilvio Ghilardi,Roberto Sebastiani

Häftad, Engelska, 2009

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2009-09-07
Mått:155 x 235 x 22 mm
Vikt:598 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:383
Upplaga:2009
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642042218

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Invited Talks.- Building SMT-Based Software Model Checkers: An Experience Report.- Combining Nonmonotonic Knowledge Bases with External Sources.- Combining Description Logics, Description Graphs, and Rules.- Combining Equational Reasoning.- Technical Papers.- Superposition Modulo Linear Arithmetic SUP(LA).- Unification Modulo Homomorphic Encryption.- Argument Filterings and Usable Rules for Simply Typed Dependency Pairs.- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles.- Runtime Verification Using a Temporal Description Logic.- Axiomatization and Completeness of Lexicographic Products of Modal Logics.- Automating Theories in Intuitionistic Logic.- Taming the Complexity of Temporal Epistemic Reasoning.- Putting ABox Updates into Action.- A Declarative Agent Programming Language Based on Action Theories.- Termination Modulo Combinations of Equational Theories.- Combinations of Theories for Decidable Fragments of First-Order Logic.- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property.- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme.- Combining Instance Generation and Resolution.- Data Structures with Arithmetic Constraints: A Non-disjoint Combination.- Efficient Combination of Decision Procedures for MUS Computation.- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.- Combining Theories with Shared Set Operations.