Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

Full description
Full text
Bibliographic Details
Published:Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Other Authors: Fontaine, Pascal editor, Ringeissen, Christophe, Schmidt, Renate
Format: Book / E-Book
Language:English
Edition:1st ed. 2013
Series:Lecture Notes in Artificial Intelligence
Keywords:Computer Science Logic and Foundations of Programming Software engineering Programming Techniques more...
Physical description:XII, 359 p. 35 illus
ISBN:9783642408854
record_format marc
spelling Fontaine, Pascal
editor
Frontiers of Combining Systems
Elektronische Ressource
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
edited by Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
1st ed. 2013
Berlin, Heidelberg
Springer Berlin Heidelberg
2013, 2013
XII, 359 p. 35 illus
online resource
Invited Talk 1 -- MetiTarski’s Menagerie of Cooperating Systems -- Inductive Theorem Proving -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization -- Definability of Accelerated Relations in a Theory of Arrays and Its Applications -- Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows -- Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages -- Approximation and Forgetting -- Roughening the EL Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming as Second-Order Quantifier Elimination -- Invited Talk 2 -- Witness Runs for Counter Machines -- Temporal and Description Logic Techniques -- Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders -- Temporal Query Answering in the Description Logic DL-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk
Computer Science Logic and Foundations of Programming
Software engineering
Programming Techniques
Computer science
Computer programming
Software Engineering
Artificial Intelligence
Algorithms
Formal Languages and Automata Theory
Machine theory
Artificial intelligence
Ringeissen, Christophe
Schmidt, Renate
Lecture Notes in Artificial Intelligence
https://doi.org/10.1007/978-3-642-40885-4?nosfx=y
Verlag
Volltext
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
language English
format 0/Buch/
1/Buch/E-Buch/
author2 Fontaine, Pascal
Ringeissen, Christophe
Schmidt, Renate
author_facet Fontaine, Pascal
Ringeissen, Christophe
Schmidt, Renate
author2_role editor
title Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
spellingShingle Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
Lecture Notes in Artificial Intelligence
Invited Talk 1 -- MetiTarski’s Menagerie of Cooperating Systems -- Inductive Theorem Proving -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization -- Definability of Accelerated Relations in a Theory of Arrays and Its Applications -- Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows -- Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages -- Approximation and Forgetting -- Roughening the EL Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming as Second-Order Quantifier Elimination -- Invited Talk 2 -- Witness Runs for Counter Machines -- Temporal and Description Logic Techniques -- Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders -- Temporal Query Answering in the Description Logic DL-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3 -- Specification and Verification of Linear Dynamical Systems: Advances and Challenges -- Theorem Proving with Theories and Sorts -- Obtaining Finite Local Theory Axiomatizations via Saturation -- Non-cyclic Sorts for First-Order Satisfiability -- Detection of First Order Axiomatic Theories -- Mechanizing the Metatheory of Sledgehammer -- Invited Talk 4 -- From Resolution and DPLL to Solving Arithmetic Constraints -- Modal Logic and Description Logic -- Tableaux for Relation-Changing Modal Logics -- Computing Minimal Models Modulo Subset-Simulation for Modal Logics -- Hybrid Unification in the Description Logic EL -- Rewriting -- Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering -- On Forward Closure and the Finite Variant Property -- Term Rewriting with Logical Constraints
title_sub 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
title_short Frontiers of Combining Systems
title_full Frontiers of Combining Systems Elektronische Ressource 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings edited by Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
title_fullStr Frontiers of Combining Systems Elektronische Ressource 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings edited by Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
title_full_unstemmed Frontiers of Combining Systems Elektronische Ressource 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings edited by Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
title_sort frontiers of combining systems : 9th international symposium, frocos 2013, nancy, france, september 18-20, 2013, proceedings edited by pascal fontaine, christophe ringeissen, renate schmidt
series Lecture Notes in Artificial Intelligence
publisher Springer Berlin Heidelberg
publishDate 2013
physical XII, 359 p. 35 illus online resource
edition 1st ed. 2013
contents Invited Talk 1 -- MetiTarski’s Menagerie of Cooperating Systems -- Inductive Theorem Proving -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization -- Definability of Accelerated Relations in a Theory of Arrays and Its Applications -- Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows -- Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages -- Approximation and Forgetting -- Roughening the EL Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming as Second-Order Quantifier Elimination -- Invited Talk 2 -- Witness Runs for Counter Machines -- Temporal and Description Logic Techniques -- Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders -- Temporal Query Answering in the Description Logic DL-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3 -- Specification and Verification of Linear Dynamical Systems: Advances and Challenges -- Theorem Proving with Theories and Sorts -- Obtaining Finite Local Theory Axiomatizations via Saturation -- Non-cyclic Sorts for First-Order Satisfiability -- Detection of First Order Axiomatic Theories -- Mechanizing the Metatheory of Sledgehammer -- Invited Talk 4 -- From Resolution and DPLL to Solving Arithmetic Constraints -- Modal Logic and Description Logic -- Tableaux for Relation-Changing Modal Logics -- Computing Minimal Models Modulo Subset-Simulation for Modal Logics -- Hybrid Unification in the Description Logic EL -- Rewriting -- Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering -- On Forward Closure and the Finite Variant Property -- Term Rewriting with Logical Constraints
isbn 9783642408854
url https://doi.org/10.1007/978-3-642-40885-4?nosfx=y
illustrated Not Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 006 - Special computer methods
dewey-full 006.3
dewey-sort 1006.3
dewey-raw 006.3
dewey-search 006.3
institution e-books (MPS)
institution_hierarchy 0/e-books (MPS)/
online true
dedup_id_str FontainePascalFrontiersofCombiningSystemsSpringerBerlinHeidelberg
id EB000412658
work_keys_str_mv AT fontainepascal frontiersofcombiningsystems9thinternationalsymposiumfrocos2013nancyfranceseptember18202013proceedings
first_indexed 2024-06-01T15:26:33Z
last_indexed 2024-06-01T15:26:33Z
_version_ 1800739488690864128
fullrecord 04444nmm a2200409 u 4500001001200000003002700012005001700039007002400056008004100080020001800121100003100139245021900170250001700389260006300406300004200469505184700511653005802358653002502416653002702441653002102468653002502489653002502514653002802539653001502567653004102582653001902623653002802642700003702670700003002707041001902737989003602756490004502792028003002837856007202867082001002939520108502949EB000412658EBX0100000000000000026573200000000000000.0cr|||||||||||||||||||||131001 ||| eng  a97836424088541 aFontaine, Pascale[editor]00aFrontiers of Combining SystemshElektronische Ressourceb9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedingscedited by Pascal Fontaine, Christophe Ringeissen, Renate Schmidt a1st ed. 2013 aBerlin, HeidelbergbSpringer Berlin Heidelbergc2013, 2013 aXII, 359 p. 35 illusbonline resource0 aInvited Talk 1 -- MetiTarski’s Menagerie of Cooperating Systems -- Inductive Theorem Proving -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization -- Definability of Accelerated Relations in a Theory of Arrays and Its Applications -- Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows -- Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages -- Approximation and Forgetting -- Roughening the EL Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming as Second-Order Quantifier Elimination -- Invited Talk 2 -- Witness Runs for Counter Machines -- Temporal and Description Logic Techniques -- Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders -- Temporal Query Answering in the Description Logic DL-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3 -- Specification and Verification of Linear Dynamical Systems: Advances and Challenges -- Theorem Proving with Theories and Sorts -- Obtaining Finite Local Theory Axiomatizations via Saturation -- Non-cyclic Sorts for First-Order Satisfiability -- Detection of First Order Axiomatic Theories -- Mechanizing the Metatheory of Sledgehammer -- Invited Talk 4 -- From Resolution and DPLL to Solving Arithmetic Constraints -- Modal Logic and Description Logic -- Tableaux for Relation-Changing Modal Logics -- Computing Minimal Models Modulo Subset-Simulation for Modal Logics -- Hybrid Unification in the Description Logic EL -- Rewriting -- Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering -- On Forward Closure and the Finite Variant Property -- Term Rewriting with Logical Constraints aComputer Science Logic and Foundations of Programming aSoftware engineering aProgramming Techniques aComputer science aComputer programming aSoftware Engineering aArtificial Intelligence aAlgorithms aFormal Languages and Automata Theory aMachine theory aArtificial intelligence1 aRingeissen, Christophee[editor]1 aSchmidt, Renatee[editor]07aeng2ISO 639-2 bSpringeraSpringer eBooks 2005-0 aLecture Notes in Artificial Intelligence50a10.1007/978-3-642-40885-440uhttps://doi.org/10.1007/978-3-642-40885-4?nosfx=yxVerlag3Volltext0 a006.3 aThis 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
Saved in: