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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam ; Washington, DC :
IOS Press,
©2010.
|
| Series: | Frontiers in artificial intelligence and applications ;
v. 208. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Subjects: | |
| Online Access: |
Full text (Emmanuel users only) |