Return to home page
Searching: Muskingum library catalog
In response to the COVID-19 outbreak, statewide lending via OhioLINK and SearchOhio has been suspended. OPAL member libraries have closed or are operating at reduced service levels. Please contact your library with specific lending requests or if you need assistance.
Record 548 of 1046
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference FroCoS (Symposium) (9th : 2013 : Nancy, France)
Title Frontiers of combining systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.).
Imprint Heidelberg : Springer, 2013.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference FroCoS (Symposium) (9th : 2013 : Nancy, France)
Series Lecture notes in artificial intelligence ; 8152
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science. Lecture notes in artificial intelligence ; http://id.loc.gov/authorities/names/n86736436 8152.
LNCS sublibrary. SL 7, Artificial intelligence. http://id.loc.gov/authorities/names/n2008077786
Subject Logic, Symbolic and mathematical -- Congresses.
Computer science -- Congresses.
Logic.
Computer Systems.
Alt Name Fontaine, Pascal (Professor of Computer Science),
Ringeissen, Christophe, 1967-
Schmidt, Renate A.,
Add Title FroCoS 2013
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference FroCoS (Symposium) (9th : 2013 : Nancy, France)
Series Lecture notes in artificial intelligence ; 8152
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science. Lecture notes in artificial intelligence ; http://id.loc.gov/authorities/names/n86736436 8152.
LNCS sublibrary. SL 7, Artificial intelligence. http://id.loc.gov/authorities/names/n2008077786
Subject Logic, Symbolic and mathematical -- Congresses.
Computer science -- Congresses.
Logic.
Computer Systems.
Alt Name Fontaine, Pascal (Professor of Computer Science),
Ringeissen, Christophe, 1967-
Schmidt, Renate A.,
Add Title FroCoS 2013
Description 1 online resource (xii, 359 pages) : illustrations.
polychrome rdacc http://rdaregistry.info/termList/RDAColourContent/1003
Note International conference proceedings.
Includes author index.
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 Kosta, Thomas Sturm -- Approximation and Forgetting. Roughening the EL Envelope / Rafael Penaloza, 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, Stephane 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 Mikulas -- 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 / Joel 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 Fernandez 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.
Summary 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. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.
Bibliography Note Includes author index.
Note Online resource; title from PDF title page (SpringerLink, viewed September 16, 2013).
ISBN 9783642408854 (electronic bk.)
3642408850 (electronic bk.)
3642408842 (print)
9783642408847 (print)
9783642408847
ISBN/ISSN 10.1007/978-3-642-40885-4
OCLC # 859253155
Additional Format Printed edition: 9783642408847