Computer Science – Artificial Intelligence
Scientific paper
2006-01-10
Computer Science
Artificial Intelligence
Workshop Proceedings
Scientific paper
This 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.
Benzmueller Christoph
Harrison John
Schuermann Carsten
No associations
LandOfFree
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-214244