Year: 2012
[6] Adaptive Assertion-Level Proofs (Christoph Benzmüller, Marvin Schiller), In EMSQMS 2010 -- Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions (Aaron Stump, Geoff Sutcliffe, Cesare Tinelli, eds.), EasyChair, EPiC Series in Computing, volume 6, pp. 39-40, 2012. [bibtex] [pdf] [doi]
[5] Progress in Automating Higher-Order Ontology Reasoning (Christoph Benzmüller, Adam Pease), In PAAR-2010 -- Workshop on Practical Aspects of Automated Reasoning (Renate A. Schmidt, Stephan Schulz, Boris Konev, eds.), EasyChair, EPiC Series in Computing, volume 9, pp. 22-32, 2012. (slides) [bibtex] [pdf] [doi]
[4] FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends (Christoph Benzmüller, Thomas Raths), Technical report, Freie Universität Berlin, Germany, 2012. (arXiv:1207.6685) [bibtex] [pdf]
[3]Higher-order Aspects and Context in SUMO (Christoph Benzmüller, Adam Pease), In Journal of Web Semantics (Special Issue on Reasoning with context in the Semantic Web), volume 12-13, pp. 104-117, 2012. (Preprint: [bibtex] [doi]
[2]Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), In Annals of Mathematics and Artificial Intelligence, volume 66, number 1-4, pp. 257-271, 2012. (Preprint: [bibtex] [doi]
[1]Implementing and Evaluating Provers for First-order Modal Logics (Christoph Benzmüller, Jens Otten, Thomas Raths), In ECAI 2012 (Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter Lucas, eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, volume 242, pp. 163-168, 2012. (slides) (Preprint: [bibtex] [doi]
Powered by bibtexbrowser