Skip to content
View riccardodebenedictis's full-sized avatar

Highlights

  • Pro

Block or report riccardodebenedictis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse

Hi all ๐Ÿ‘‹, I am Riccardo De Benedictis

๐Ÿ“š I have a M.Sc. in Computer Engineering since 2010 from University of Rome 'La Sapienza' and a Ph.D. in Computing, Electronics and Mathematics since 2019 from University of Plymouth.

๐Ÿ”ญ I am a researcher in Artificial Intelligence at the Institute of Cognitive Sciences and Technologies of the National Research Council of Italy. I am a member of the Planning and Scheduling Technology (PST) Lab, a research group mainly focused on automated and interactive techniques for planning problems.

๐Ÿค– My research topics concern the development of automated reasoning solvers aimed at addressing real world applications, while keeping a strong consideration for the human component that must interact with the intelligent applications. Special attention is given to the efficiency of the reasoning processes, obtained through the development of domain-independent heuristics which, in an integrated way, allow solving semantic inference problems, planning and scheduling problems, as well as their execution and adaptation in dynamic environments.

Pinned Loading

  1. ratioSolver/oRatio ratioSolver/oRatio Public

    oRatio is an Integrated Logic and Constraint based solver

    C++ 3 1