This block seminar focuses on the practical use of automated theorem and model finding in first-order logic, higher-order logic and quantified non-classical logics. Students will ...
- learn about the TPTP World Infrastructure for Automated Reasoning and work on topics and small projects using this infrastructure.
- learn about applications of automated reasoning tools in the field of law and ethics; for this purpose, we collaborate with the AuReLeE project of the University of Luxembourg and participate (online) in a course and workshop the we jointly organise with members and collaborators of this project.
Course organization:
1. Organizational meeting(s): July 6, 2022, by individual arrangement
2. Introductory presentation: July 7, 12:15-13:45, by Prof. Dr. Geoff Sutcliffe (U Miami, USA):
The TPTP World - Infrastructure for Automated Reasoning
Abstract: The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics. The data, standards, and services provided by the TPTP World have made it increasingly easy to build, test, and apply ATP technology. This talk and tutorial reviews the core features of the TPTP World, describes key service components of the TPTP World and how to use them, and presents some successful applications.
You can participate this talk at SR 1, or via Zoom meeting: https://uni-bamberg.zoom.us/j/66859919991 Meeting ID: 668 5991 9991 Passcode: yq??F0
3. Online workshop at U Luxembourg: Monday (July 18) through Friday (July 22), approx. 09:00 - 13:00 each day.
Online participation in a topic related course/workshop organised jointly with colleagues from the University of Luxembourg; the invited presentations of this event will take place predominantly in the morning. Individual/group work on the assigned topics
4. Individual project meetings: After the workshop, by individual appointsments.
5. Presentation of project results: Date/Time to be determined.
Students will give their final presentations on the assigned projects/topics and also discuss how they relate to the content they absorbed in the joint online course with U Luxembourg.
|
