1 option
Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato.
- Format:
- Book
- Author/Creator:
- Pozzato, Gian Luca.
- Series:
- Frontiers in artificial intelligence and applications Conditional and preferential logics
- Language:
- English
- Subjects (All):
- Proof theory.
- Automatic theorem proving.
- Physical Description:
- 1 online resource (208 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Amsterdam : IOS Press, c2010.
- Language Note:
- English
- Summary:
- 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.
- Contents:
- 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
- Notes:
- Description based upon print version of record.
- Includes bibliographical references.
- ISBN:
- 6612600764
- 1-282-60076-1
- 9786612600760
- 1-60750-095-7
- OCLC:
- 619195294
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.