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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 79
Titolo Data di pubblicazione Autore(i) File
Synthesis of Object Models from Partial Models: a CSP Perspective 2002 Alberti, Marco; Lamma, Evelina 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
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
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
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
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
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
Mapping deontic operators to abductive expectations 2005 Alberti, Marco; Lamma, Evelina; Gavanelli, Marco; Mello, P; Sartor, G; Torroni, P.
Expressing interaction in combinatorial auction through social integrity constraints 2005 Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Mic...hela; Torroni, Paolo file con accesso da definire
Abduction with hypotheses confirmation 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
The CHR-based implementation of a system for generation and confirmation of hypotheses 2005 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina file con accesso da definire
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 2005 Alberti, Marco; Chesani, F; Gavanelli, Marco; Guerri, A; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
A CHR-based implementation of known arc-consistency 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
The SOCS computational logic approach to the specification and verification of agent societies 2005 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system 2005 Alberti, Marco; Chesani, F. file con accesso da definire
The SCIFF abductive proof-procedure 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Protocol specification and verification by using computational logic 2005 Chesani, F; Ciampolini, A; Mello, P; Montali, M; Torroni, P; Alberti, Marco; Storari, Sergio file con accesso da definire
Mapping Deontic Operators to Abductive Expectations 2006 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Sartor, G; Torroni, P. file con accesso da definire
Mostrati risultati da 1 a 20 di 79
Legenda icone

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