Automatically Proving and Disproving Feasibility Conditions

von Gutiérrez, Raul
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

MU-TERM: Verify Termination Properties Automatically (System Description)

von Gutiérrez, Raul
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

An evaluation semantics for narrowing-based functional logic languages

von Hanus, Michael
Veröffentlicht 2000

˜Anœ evaluation semantics for narrowing-based functional logic languages

von Hanus, Michael
Veröffentlicht 2000

Confluence Framework: Proving Confluence with CONFident

von Gutiérrez, Raúl
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)

Using Keytyping as a Biomarker for Cognitive Decline Diagnostics: The Convolutional Neural Network Based Approach

von Barnardo, Lucas Salvador
Veröffentlicht in MedPRAI (5. : 2021 : Istanbul) Pattern recognition and artificial intelligence (2022)