Cargando…
Conditional and preferential logics : proof methods and theorem proving /
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 implemen...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC :
IOS Press,
©2010.
|
| Colección: | Frontiers in artificial intelligence and applications ;
v. 208. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 1 online resource (viii, 200 pages) |
| Bibliografía: | Includes bibliographical references (pages 193-200). |
| ISBN: | 9781607500957 1607500957 1607500949 9781607500940 6612600764 1282600761 9781282600768 9786612600760 |