Keywords: Poster Presentations
2009
[19]Granularity-Adaptive Proof Presentation (poster) (Marvin Schiller, Christoph Benzmüller), AIED, 2009. (poster)
2008
[18]LEO-II, A Higher-Order Theorem Prover (poster) (Christoph Benzmüller), VSI, 2008. (poster)
2007
[17]Deep Inference for Automated Proof Tutoring (poster) (Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier), KI, 2007. (poster)
[16]LEO-II, A Higher-Order Theorem Prover (poster) (Christoph Benzmüller), TPHOLs, 2007. (poster)
[15]The LEO-II Project (poster) (Christoph Benzmüller), University of Cambridge Project Poster, 2007. (poster)
[14]The LEO-II Project (poster) (Christoph Benzmüller), Deduktionstreffen, 2007. (poster)
[13]Term Indexing for the LEO-II Prover (poster) (Frank Theiss, Christoph Benzmüller), Deduktionstreffen, 2007.
2006
[12]Granularity Judgments in Proof Tutoring (poster) (Marvin Schiller, Christoph Benzmüller), KI, 2006. (poster)
2005
[11]OMEGA (poster) (Christoph Benzmüller, OMEGA Group), Begehung SFB 378, 2005. (poster-1, poster-2, poster-3, poster-4)
[10]DIALOG (poster) (Christoph Benzmüller, Dialog Group), Begehung SFB 378, 2005. (poster-1, poster-2, poster-3, poster-4)
2003
[9]Assertion Application in Theorem Proving and Proof Planning (poster) (Christoph Benzmüller), IJCAI-03 Poster Presentation, Acapulco, Mexico, 2003. (poster)
2002
[8]Agent Based Theorem Proving (poster) (Christoph Benzmüller), AISB, 2002. (poster)
2001
[7]A Lost Proof (poster) (Christoph Benzmüller, Manfred Kerber), TPHOLs, 2001. (poster)
[6]Proof Transformation and Expansion with a Parameterizable Inference Machine (poster) (Christoph Benzmüller), AISB, 2001. (poster)
[5]OMEGA (poster) (Christoph Benzmüller), Begehung SFB 378, 2001. (poster)
[4]DIALOG (poster) (Christoph Benzmüller), Begehung SFB 378, 2001. (poster)
2000
[3]Resource Guided Concurrent Deduction (poster) (Christoph Benzmüller), AISB, 2000. (poster)
1999
[2]Agent based Proof Planning (poster) (Christoph Benzmüller), Poster at the 6th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice; in conjunction with AISB'99 Convention, Edinburgh, Scotland, 1999.
1998
[1]LEO -- A Higher Order Theorem Prover (Christoph Benzmüller), CADE, 1998. (poster)
Powered by bibtexbrowser