Reference : Embedding and automating conditional logics in classical higher-order logic |
Scientific journals : Article | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/15851 | |||
Embedding and automating conditional logics in classical higher-order logic | |
English | |
Benzmuller, Christoph [Freie Universität Berlin, Berlin] | |
Gabbay, Dov M. [King’s College London, London, UK > Department of Computer Science] | |
Genovese, Valerio [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
Rispoli, Daniele [University of Torino, Torino] | |
2012 | |
Annals of Mathematics & Artificial Intelligence | |
Springer | |
66 | |
1-4 | |
257-271 | |
Yes (verified by ORBilu) | |
1012-2443 | |
[en] A sound and complete embedding of conditional logics into
classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and about conditional logics. | |
http://hdl.handle.net/10993/15851 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.