Declarative Programming

Short description of the research team

Thematic fields of interest/research areas: Declarative Programming.

The research team is experienced in several aspects of declarative programming: Constraint Logic Programming (also hybridized with Local Search or Integer Liner Programming), Answer Set Programming, SAT solving, Machine Learning, Ontological reasoning, Abductive Logic Programming, probabilistic logic programming, inductive logic programming.

Manager/head of the team: Evelina Lamma

Team members: Marco Alberti, Marco Gavanelli, Fabrizio Riguzzi

Prerequisites of the trainee researcher:

Level of education: “Marie Curie Individual Fellowship” Action requirements

Research experience: The candidate should hold a Ph.D. or equivalent title in computer science, computer science engineering, or operations research, and be enthusiast about research in declarative programming

Required working language: English

Contacts: The main contacts are:

• Evelina Lamma for Ontological reasoning, Abductive Logic Programming.
• Marco Gavanelli for Constraint Programming, Answer Set Programming, SAT solving.
• Fabrizio Riguzzi for Machine Learning, probabilistic logic programming, inductive logic programming.

Topics: Computer science and informatics