Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Logical Conditional Preference Theories., , and . CoRR, (2015)Reasoning with PCP-Nets., , , , , and . J. Artif. Intell. Res., (2021)Voting with random classifiers (VORACE): theoretical and experimental analysis., , , , and . Auton. Agents Multi Agent Syst., 35 (2): 22 (2021)Voting with Random Classifiers (VORACE)., , , , and . CoRR, (2019)Integration of Data and Theory for Accelerated Derivable Symbolic Discovery., , , , , , , , and . CoRR, (2021)Learning to Guide a Saturation-Based Theorem Prover., , , , , , , , , and 1 other author(s). IEEE Trans. Pattern Anal. Mach. Intell., 45 (1): 738-751 (2023)Voting with Random Classifiers (VORACE): Theoretical and Experimental Analysis., , , , and . AAMAS, page 1929-1931. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), (2022)Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery., and . CoRR, (2024)Learning Where and When to Reason in Neuro-Symbolic Inference., , , and . NeSy, volume 3432 of CEUR Workshop Proceedings, page 411-412. CEUR-WS.org, (2023)A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies., , , , , , , , , and 1 other author(s). CoRR, (2019)