Daniel Weller

Project Assistant
Theory and Logic Group
Institute of Computer Languages
Vienna University of Technology

email: weller@logic.at
Address: Favoritenstraße 9, A-1040 Vienna, Austria
Room: HA 03 07 (3rd floor)

Current preprints

• D. Weller. On Quantifier-Free Cuts in First-Order Logic, submitted. [ online ]

Publications

2010

• T. Dunchev, A. Leitsch, T. Libal, D. Weller, B. Woltzenlogel Paleo. System Description: The Proof Transformation System CERES, Int. Joint Conference on Automated Reasoning 2010, R. Goebel et al. (eds.), Springer LNCS 6173 [ springer ]

2009

• S. Hetzl, A. Leitsch, T. Libal, D. Weller, B. Woltzenlogel Paleo. Resolution Refinements for Cut-Elimination based on Reductive Methods, ESSLLI Workshop on Structures and Deduction (2009), [ online ]
• S. Hetzl, A. Leitsch, D. Weller, B. Woltzenlogel Paleo. A Clausal Approach to Proof Analysis in Second-Order Logic, Logical Foundations of Computer Science 2009, Sergei Artemov and Anil Nerode (eds.), Springer LNCS 5407 [ online ]

2008

• S. Hetzl, A. Leitsch, D. Weller, B. Woltzenlogel Paleo. Transforming and Analyzing Proofs in the CERES-system, Proc. of the LPAR 2008 Workshops, Piotr Rudnicki et al. (eds.), ISSN 1613-0073 [ online ]
• S. Hetzl, A. Leitsch, D. Weller, B. Woltzenlogel Paleo. Herbrand Sequent Extraction, Intelligent Computer Mathematics, S. Autexier et al. (eds.), Springer LNAI 5144. [ doi ]
• S. Hetzl, A. Leitsch, D. Weller, B. Woltzenlogel Paleo. Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions, Proc. of CICM Workshop ESARM'08, G. Sutcliffe et al. (eds.), ISSN 1613-0073 [ online ]

Talks

• Towards CERES in Higher-Order Logic, Talk at the Laboratoire d'Informatique de l'Ecole Polytechnique, France, 2010 [ slides ]
• Proof Skolemization and De-Skolemization, Workshop on Logic and Computation, Vienna, Austria, 2009 [ slides ]
• CERES: a program for cut-elimination, Kurt Gödel Research Center, Vienna, Austria, 2009 [ slides ]
• Transforming and Analyzing Proofs in the CERES-system, KEAPPA 2008, Doha, Qatar [ slides ]
• Cut-Elimination by Resolution and Skolemization in Second-Order Logic, APS 2008, Doha, Qatar [ slides ]
• Skolemization of Sequent Calculus Proofs in Higher-Order Logic (Work in Progress), Structural Proof Theory 2008, Paris, France [ slides ]
• Implementing CERES: tools for proof analysis, Collegium Logicum 2007, Vienna, Austria [ slides ]

Technical Reports

• S. Hetzl, A. Leitsch, D. Weller, B. Woltzenlogel Paleo. CERES in Second-Order Logic, Technical Report, Vienna University of Technology, 2008 [ online ]