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...
| Autor principal: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC :
IOS Press
c2010.
|
| Colección: | EBSCO Academic eBook Collection Complete.
Frontiers in artificial intelligence and applications ; v. 208. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b31346480*spi |
| 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: | viii, 200 p. |
| Formato: | Forma de acceso: World Wide Web. |
| Bibliografía: | Incluye referencias bibliográficas (p. 193-200). |
| ISBN: | 9781607500957 9781607500940 |
