Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance

von Haifani, Fajar
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

A Unifying Splitting Framework

von Ebner, Gabriel
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Verified Given Clause Procedures

von Blanchette, Jasmin
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Connection-Minimal Abduction in EL via Translation to FOL

von Haifani, Fajar
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

A Comprehensive Framework for Saturation Theorem Proving

von Waldmann, Uwe
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Superposition with First-class Booleans and Inprocessing Clausification

von Nummelin, Visa
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Superposition for Full Higher-order Logic

von Bentkamp, Alexander
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

SIGNATURE-BASED ABDUCTION FOR EXPRESSIVE DESCRIPTION LOGICS

von Koopmann, Patrick
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

Making Higher-Order Superposition Work

von Vukmirović, Petar
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)