Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automated Reasoning
  • Produktbild: Automated Reasoning

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.07.2008

Herausgeber

Alessandro Armando + weitere

Verlag

Springer Berlin

Seitenzahl

556

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

855 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-71069-1

Beschreibung

Portrait

Gilles Dowek is Director of Research at INRIA and heads the LOGICAL project-team. He is also a Professor at the École Polytechnique and a researcher at the École Polytechnique's Computer Science Laboratory (LIX). He is an advisor to the National Institute of Aerospace, a NASA Langley research centre laboratory. His research focuses on formalising mathematics, on demonstration processing systems related to quantum programming language design and on safety for aerospace systems. He has written several works aimed at explaining maths and science theory in layman's terms.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.07.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

556

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

855 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-71069-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Automated Reasoning
  • Produktbild: Automated Reasoning
  • Session 1: Invited Talk.- Software Verification: Roles and Challenges for Automatic Decision Procedures.- Session 2: Specific Theories.- Proving Bounds on Real-Valued Functions with Computations.- Linear Quantifier Elimination.- Quantitative Separation Logic and Programs with Lists.- On Automating the Calculus of Relations.- Session 3: Automated Verification.- Towards SMT Model Checking of Array-Based Systems.- Preservation of Proof Obligations from Java to the Java Virtual Machine.- Efficient Well-Definedness Checking.- Session 4: Protocol Verification.- Proving Group Protocols Secure Against Eavesdroppers.- Session 5: System Descriptions 1.- Automated Implicit Computational Complexity Analysis (System Description).- LogAnswer - A Deduction-Based Question Answering System (System Description).- A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).- The Abella Interactive Theorem Prover (System Description).- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).- The Complexity of Conjunctive Query Answering in Expressive Description Logics.- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse.- Session 8: Herbrand Award Ceremony.- Automata-Based Axiom Pinpointing.- Individual Reuse in Description Logic Reasoning.- The Logical Difference Problem for Description Logic Terminologies.- Session 10: System Descriptions 2.- Aligator: A Mathematica Package for Invariant Generation (System Description).- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions).- iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description).- An Experimental Evaluation of Global Caching for (System Description).- Multi-completion with Termination Tools (System Description).- MTT: The Maude Termination Tool (System Description).- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description).- Canonicity!.- Unification and Matching Modulo Leaf-Permutative Equational Presentations.- Modularity of Confluence.- Automated Complexity Analysis Based on the Dependency Pair Method.- Canonical Inference for Implicational Systems.- Challenges in the Automated Verification of Security Protocols.- Session 14: Theorem Proving 1.- Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.- Proof Systems for Effectively Propositional Logic.- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance.- CASC-J4 The 4th IJCAR ATP System Competition.- Session 16: Theorem Proving 2.- Labelled Splitting.- Engineering DPLL(T) + Saturation.- THF0 – The Core of the TPTP Language for Higher-Order Logic.- Focusing in Linear Meta-logic.- Certifying a Tree Automata Completion Checker.- Automated Induction with Constrained Tree Automata.