Events

AI*IA 2009

RCRA 2009

ECAI 2010

CHR 2010

CILC 2010

Marco Gavanelli

Ph.D.

Address

Research Activities

Publications

Memberships

My co-authors

Teaching

Non academic interests

Contacts

Research Activities

My scientific interests include:

Artificial Intelligence

• Constraints
  • Constraint Satisfaction Problems
  • Constraint Logic Programming
  • Multi-Criteria Optimization
  • Declarative Semantics of CLP
  • CSP to SAT encodings
• Logic Programming
  • Abductive Logic Programming
  • Programming with Sets
• Visual Recognition

See also:

• The Interactive Constraint Satisfaction Model
• The SCIFF Abductive Proof-Procedure
• SOCS-SI: a tool for compliance verification of agent interaction

Projects

MIUR PRIN 2005 project n.2005-015491: Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali

SOCS: Societies Of ComputeeS IST-2001-32530 project of the Information Society Technologies programme of the European Commission in the context of the Global Computing initiative of the FET initiative

MIUR COFIN project: La Gestione e la negoziazione automatica dei diritti sulle opere dell'ingegno digitali: aspetti giuridici e informatici.

COFIN 1998 project Agenti Intelligenti: Interazione e Acquisizione di Conoscenza (Intelligent Agents: Interaction and Knowledge Acquisition), 1999-2000.

Progetto Giovani Ricercatori: "Proposta ed Analisi di Algoritmi per Problemi di Soddisfacimento di Vincoli con Priorità fra le Soluzioni Data da Ordinamenti Parziali."