LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)

Simple item page
dc.creatorBenzmueller, Christoph
dc.creatorHarrison, John
dc.creatorSchuermann, Carsten
dc.date2006-01-10
dc.date.accessioned2026-07-07T06:57:55Z
dc.date.available2026-07-07T06:57:55Z
dc.descriptionThis workshop brings together practioners and researchers who are involved in the everyday aspects of logical systems based on higher-order logic. We hope to create a friendly and highly interactive setting for discussions around the following four topics. Implementation and development of proof assistants based on any notion of impredicativity, automated theorem proving tools for higher-order logic reasoning systems, logical framework technology for the representation of proofs in higher-order logic, formal digital libraries for storing, maintaining and querying databases of proofs. We envision attendees that are interested in fostering the development and visibility of reasoning systems for higher-order logics. We are particularly interested in a discusssion on the development of a higher-order version of the TPTP and in comparisons of the practical strengths of automated higher-order reasoning systems. Additionally, the workshop includes system demonstrations. ESHOL is the successor of the ESCAR and ESFOR workshops held at CADE 2005 and IJCAR 2004.
dc.descriptionWorkshop Proceedings
dc.identifierhttps://arxiv.org/abs/cs/0601042
dc.identifierhttp://arxiv.org/abs/cs/0601042
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/107151
dc.subjectArtificial Intelligence
dc.subjectLogic in Computer Science
dc.titleLPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
dc.typetext

Files

Collections

arXiv