Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9322)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: FroCoS 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (21 papers)
-
Invited Talk
-
Decision Procedures for Verification
-
Rewriting and Constraint Solving
Other volumes
-
Frontiers of Combining Systems
Keywords
- Description logic
- Hybrid systems
- Modal logic
- Multi-agent systems
- Term rewriting
- Combining systems
- Complexity
- Constraint solving
- Decision procedures
- Equational theories
- First-order logic
- Higher-order logic
- Hybrid methods
- Model checking
- Modularity of ontologies
- Modularizing programs and specifications
- SAT solving
- SMT solving
- Temporal logic
- Verification and analysis
About this book
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.
The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.
Editors and Affiliations
Bibliographic Information
Book Title: Frontiers of Combining Systems
Book Subtitle: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Editors: Carsten Lutz, Silvio Ranise
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-24246-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-24245-3Published: 12 November 2015
eBook ISBN: 978-3-319-24246-0Published: 19 September 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 357
Number of Illustrations: 54 illustrations in colour
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications