Author of the publication

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry.

, , and . CoRR, (2024)

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

Taxonomies of geometric problems., , , and . J. Symb. Comput., (2020)Experimental and Integrative Approaches to Robo-ethics. An Introduction., , , and . Int. J. Soc. Robotics, 15 (12): 1977-1980 (December 2023)Measuring the Readability of Geometric Proofs: The Area Method Case., and . J. Autom. Reason., 67 (1): 5 (March 2023)Contextual priming to increase the sense of presence in virtual reality: exploratory study., , , and . Virtual Real., 25 (4): 1105-1112 (2021)A probabilistic modal logic for context-aware trust based on evidence., , , and . Int. J. Approx. Reason., (2024)Cross-Cultural Validation of the Compulsive Internet Use Scale in Four Forms and Eight Languages., , , , , , , , , and 24 other author(s). Cyberpsychology Behav. Soc. Netw., 22 (7): 451-464 (2019)Trust Evidence Logic., , , and . ECSQARU, volume 12897 of Lecture Notes in Computer Science, page 575-589. Springer, (2021)The Ethics of Robot-Nudgers' Design., , and . Robophilosophy, volume 366 of Frontiers in Artificial Intelligence and Applications, page 473-479. IOS Press, (2022)The Legacy of D. K. Lewis: Introduction to the Special Issue., and . Synth., 197 (11): 4639-4644 (2020)A Logical Modeling of Severe Ignorance., , , and . J. Philos. Log., 52 (4): 1053-1080 (August 2023)