SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 150
Titolo Data di pubblicazione Autore(i) File
Extending CLP(FD) with interactive data acquisition for 3D visual object recognition. 1999 Cucchiara, R.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.; Piccardi, M. file con accesso da definire
Constraint satisfaction problems: an interactive, agent-based approach 1999 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
Constraint Propagation and Value Acquisition: Why we should do it Interactively 1999 Cucchiara, R.; Gavanelli, Marco; Lamma, Evelina; Mello, M.; Milano, M.; Piccardi, M. file con accesso da definire
Domains as first class objects in CLP(FD) 1999 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
Performance measurement of interactive CSP search algorithms 2000 Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Milano, Michela file con accesso da definire
Partially ordered constraint optimization problems 2001 Gavanelli, Marco file con accesso da definire
From eager to lazy constrained data acquisition: A general framework 2001 Cucchiara, R.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M; Piccardi, Massimo file con accesso da definire
An algorithm computing the Pareto frontier in constraint satisfaction problems 2002 Gavanelli, Marco file con accesso da definire
Exploiting constraints for domain managing in CLP(FD) 2002 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
An algorithm for multi-criteria optimization in CSPs 2002 Gavanelli, Marco file con accesso da definire
Interpreting abduction in CLP 2003 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.; Torroni, P. file con accesso da definire
An Abductive Interpretation for Open Agent Societies 2003 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
A Social ACL Semantics by Deontic Constraints 2003 Alberti, Marco; Ciampolini, A; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Specification and verification of agent interaction protocols in a logic-based system 2004 Alberti, Marco; Daolio, D.; Torroni, P.; Gavanelli, Marco; Lamma, Evelina; Mello, P. file con accesso da definire
A logic-based approach to interaction design in open multi-agent systems 2004 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
SPECIFICATION AND VERIFICATION OF AGENT INTERACTIONS USING SOCIAL INTEGRITY CONSTRAINTS 2004 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Torroni, P. file con accesso da definire
An abductive framework for information sharing in multi-agent systems 2004 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Torroni, P. file con accesso da definire
Compliance verification of agent interaction: a logic-based tool 2004 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study 2004 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Expressing interaction in combinatorial auction through social integrity constraints 2005 Alberti, Marco; F., Chesani; Gavanelli, Marco; A., Guerri; Lamma, Evelina; M., Milano; P., Torroni file con accesso da definire
Mostrati risultati da 1 a 20 di 150
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile