Willkommen, schön sind Sie da!
Logo Ex Libris

Automated Reasoning with Analytic Tableaux and Related Methods

  • E-Book (pdf)
  • 250 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 82.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.



Inhalt

Invited Talks.- Nonmonotonic Description Logics - Requirements, Theory, and Implementations.- Our Quest for the Holy Grail of Agent Verification.- An Abstract Framework for Satisfiability Modulo Theories.- Research Papers.- Axiom Pinpointing in General Tableaux.- Proof Theory for First Order ?ukasiewicz Logic.- A Tableau Method for Public Announcement Logics.- Bounded Model Checking with Description Logic Reasoning.- Tableau Systems for Logics of Subinterval Structures over Dense Orderings.- A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.- Tableaux with Dynamic Filtration for Layered Modal Logics.- The Neighbourhood of S0.9 and S1.- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.- Tree-Sequent Methods for Subintuitionistic Predicate Logics.- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.- Updating Reduced Implicate Tries.- A Bottom-Up Approach to Clausal Tableaux.- Differential Dynamic Logic for Verifying Parametric Hybrid Systems.- System Descriptions.- Improvements to the Tableau Prover PITP.- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.

Produktinformationen

Titel: Automated Reasoning with Analytic Tableaux and Related Methods
Untertitel: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Editor:
EAN: 9783540730996
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 17.09.2007
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 4.9 MB
Anzahl Seiten: 250

Weitere Bände aus der Buchreihe "Lecture Notes in Artificial Intelligence"