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):

FileCommentaryVersionSizeAccess
Open access
1106.3685v3.pdfPublisher postprint214.57 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.