Conditional and preferential logics: proof methods and theorem proving
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Pozzato, Gian Luca (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Amsterdam IOS Press ©2010
Schriftenreihe:Frontiers in artificial intelligence and applications v. 208
Frontiers in artificial intelligence and applications
Schlagworte:
Online-Zugang:FAW01
FAW02
Volltext
Beschreibung:Includes bibliographical references (pages 193-200)
Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work
Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi
Beschreibung:1 Online-Ressource (viii, 200 pages)
ISBN:1607500949
1607500957
9781607500940
9781607500957

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen