Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / / edited by Silvio Ghilardi, Roberto Sebastiani
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / / edited by Silvio Ghilardi, Roberto Sebastiani
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Edizione: | 1st ed. 2009. |
| Descrizione fisica: | 1 online resource (X, 383 p.) |
| Disciplina: | 004n/a |
| Soggetto topico: | Artificial intelligence |
| Computers | |
| Mathematical logic | |
| Computer logic | |
| Software engineering | |
| Algorithms | |
| Artificial Intelligence | |
| Theory of Computation | |
| Mathematical Logic and Formal Languages | |
| Logics and Meanings of Programs | |
| Software Engineering | |
| Algorithm Analysis and Problem Complexity | |
| Soggetto genere / forma: | Kongress. |
| Trient (2009) | |
| Classificazione: | DAT 706f |
| SS 4800 | |
| Persona (resp. second.): | GhilardiSilvio |
| SebastianiRoberto | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Frontiers of Combining Systems |
| ISBN: | 3-642-04222-8 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910484731103321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Artificial Intelligence ; ; 5749