The 2024 COST Action WG2 TPTP Tea Party


The TPTP Tea Party (TPTPTP) brings together users and developers of ATP systems, to discuss standardization, current challenges and prospective applications. This edition will focus on the continued development of TPTP World infrastructure to support: These items will apply in both classical and non-classical logics. The TPTPTP will deliver: The meeting aims to elicit feedback, suggestions, criticisms, etc, of these resources, in order to ensure that their continued development meets the needs of successful automated reasoning.