Year: 2005

2005 | |

[10] | Combining Proofs of Higher-Order and First-Order Automated Theorem Provers , In Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), pp. 45-58, 2005. (arXiv:cs/0601042) [bibtex] [pdf] |

[9] | System Description: LEO -- A Resolution based Higher-Order Theorem Prover , In Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), pp. 25-44, 2005. (arXiv:cs/0601042) [bibtex] [pdf] |

[8] | Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor , In Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP), pp. 16-39, 2005. [bibtex] [pdf] |

[7] | System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs , In Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP), pp. 40-67, 2005. [bibtex] [pdf] |

[6] | System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs , 2005. (This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did not appear though.) [bibtex] [pdf] |

[5] | Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor , 2005. (This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did not appear though.) [bibtex] [pdf] |

[4] | Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), (Christoph Benzmüller, John Harrison, Carsten Schürmann, eds.), 2005. (arXiv:cs/0601042) [bibtex] [pdf] |

[3] | Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs , In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA (Manuela Veloso, Subbarao Kambhampati, eds.), AAAI Press / The MIT Press, pp. 516-522, 2005. (slides) [bibtex] [pdf] |

[2] | A Structured Set of Higher-Order Problems , In Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Joe Hurd, Thomas F. Melham, eds.), Springer, LNCS, number 3603, pp. 66-81, 2005. [bibtex] [pdf] [doi] |

[1] | Can a Higher-Order and a First-Order Theorem Prover Cooperate? , In Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Franz Baader, Andrei Voronkov, eds.), Springer, LNCS, number 3452, pp. 415-431, 2005. (slides) [bibtex] [pdf] [doi] |

Powered by bibtexbrowser