Marco Gavanelli

Ph.D.

Address

Research Activities

Editorial & organization activities

Publications

Memberships

My co-authors

Teaching

Non academic interests

Next Events

ICLP DC 2013

IJCAI 2013

CHR 2013

CILC 2013

PAI 2013

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
• Optimization and Decision Support for Computational Sustainability

Projects

	European Project ePolicy: Engineering the POlicy-making LIfe CYcle Grant agreement no: 288147 Scientific coordinator of the UniFE research unit.
	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."