Sfoglia per Autore
Synthesis of Object Models from Partial Models: a CSP Perspective
file con accesso da definire2002 Alberti, Marco; Lamma, Evelina
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
file con accesso da definire2003 Alberti, Marco; Ciampolini, A; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Specification and verification of agent interaction protocols in a logic-based system
file con accesso da definire2004 Alberti, Marco; Daolio, D.; Torroni, P.; Gavanelli, Marco; Lamma, Evelina; Mello, P.
SPECIFICATION AND VERIFICATION OF AGENT INTERACTIONS USING SOCIAL INTEGRITY CONSTRAINTS
file con accesso da definire2004 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Torroni, P.
A logic-based approach to interaction design in open multi-agent systems
file con accesso da definire2004 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
file con accesso da definire2004 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Compliance verification of agent interaction: a logic-based tool
file con accesso da definire2004 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
The CHR-based implementation of a system for generation and confirmation of hypotheses
file con accesso da definire2005 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina
Expressing interaction in combinatorial auction through social integrity constraints
file con accesso da definire2005 Alberti, Marco; F., Chesani; Gavanelli, Marco; A., Guerri; Lamma, Evelina; M., Milano; P., Torroni
Protocol specification and verification by using computational logic
file con accesso da definire2005 Chesani, F; Ciampolini, A; Mello, P; Montali, M; Torroni, P; Alberti, Marco; Storari, Sergio
A CHR-based implementation of known arc-consistency
file con accesso da definire2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie
file con accesso da definire2005 Alberti, Marco; Chesani, F; Gavanelli, Marco; Guerri, A; Lamma, Evelina; Mello, P; Torroni, P.
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system
file con accesso da definire2005 Alberti, Marco; Chesani, F.
Abduction with hypotheses confirmation
file con accesso da definire2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Mapping deontic operators to abductive expectations
2005 Alberti, Marco; Lamma, Evelina; Gavanelli, Marco; Mello, P; Sartor, G; Torroni, P.
The SOCS computational logic approach to the specification and verification of agent societies
file con accesso da definire2005 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
The SCIFF abductive proof-procedure
file con accesso da definire2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Expressing interaction in combinatorial auction through social integrity constraints
file con accesso da definire2005 Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Michela; Torroni, Paolo
Un sistema basato su logica computazionale per il trattamento degli operatori deontici
file con accesso da definire2006 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Sartor, G; Torroni, P.
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
A CHR-based implementation of known arc-consistency | 2005 | Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. | 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 |
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system | 2005 | Alberti, Marco; Chesani, F. | 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 |
Mapping deontic operators to abductive expectations | 2005 | Alberti, Marco; Lamma, Evelina; Gavanelli, Marco; Mello, P; Sartor, G; Torroni, P. | |
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 SCIFF abductive proof-procedure | 2005 | 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; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Mic...hela; Torroni, Paolo | file con accesso da definire |
Un sistema basato su logica computazionale per il trattamento degli operatori deontici | 2006 | Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Sartor, G; Torroni, P. | file con accesso da definire |
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile