Sfoglia per Autore
ALIAS: The Abductive LogIc AgentS architecture
2004 Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G.
Modeling interactions using social integrity constraints: a resource sharing case study
2004 ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.
A Logic based Approach to Interaction Design in Open Multi-Agent Systems
2004 ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P.
CLIMA V: Fifth International Workshop on Computational Logic in Multi-Agent Systems
2004 J. LEITE; P. TORRONI
Towards a Mapping of Deontic Logic onto an Abductive Framework
2004 alberti marco; gavanelli marco; lamma evelina; mello paola; sartor giovanni; torroni paolo
Fifth International Workshop on Computational Logic in Multi-Agent Systems - CLIMA V
2004 J. LEITE; P. TORRONI
Compliance Verification of Agent Interaction: a Logic-Based Tool
2004 M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; MELLO P.; P. TORRONI
Proceedings of the 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004)
2004 Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar
2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004)
2004 Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar
Preface
2004 Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar
Preface
2004 Leite Joao Alexandre; Omicini Andrea; Sterling Leon; Torroni Paolo
An Abductive Framework for Information Exchange in Multi-Agent systems
2004 GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.
Specification and Verification of Agent Interaction Protocols in a Logic-based System
2004 M. ALBERTI; D. DAOLIO; M. GAVANELLI; E. LAMMA; P. MELLO; P. TORRONI
Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence
2004 CIAMPOLINI A.; TORRONI P.
Declarative Agent Languages and Technologies
2004 LEITE JOAO; OMICINI ANDREA; STERLING LEON; TORRONI PAOLO
Abduction with Hypothesis Confirmation
2004 Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction
2004 BRACCIALI A.; TORRONI P.
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints
2004 M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni
Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004. Pre-Proceedings
2004 LEITE J.; TORRONI P.
Agent Planning, Negotiation, and Control of Operation
2004 KAKAS A.; TORRONI P.; DEMETRIOU N.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
ALIAS: The Abductive LogIc AgentS architecture | Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G. | 2004-01-01 | - | - | 7.04 Software | - |
Modeling interactions using social integrity constraints: a resource sharing case study | ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P. | 2004-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A Logic based Approach to Interaction Design in Open Multi-Agent Systems | ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P. | 2004-01-01 | - | IEEE Press | 4.01 Contributo in Atti di convegno | - |
CLIMA V: Fifth International Workshop on Computational Logic in Multi-Agent Systems | J. LEITE; P. TORRONI | 2004-01-01 | - | - | 7.12 Attività espositiva:Mostra o Esposizione | - |
Towards a Mapping of Deontic Logic onto an Abductive Framework | alberti marco; gavanelli marco; lamma evelina; mello paola; sartor giovanni; torroni paolo | 2004-01-01 | - | Morlacchi Editore | 4.01 Contributo in Atti di convegno | - |
Fifth International Workshop on Computational Logic in Multi-Agent Systems - CLIMA V | J. LEITE; P. TORRONI | 2004-01-01 | AGENTLINK NEWSLETTER | - | 1.01 Articolo in rivista | - |
Compliance Verification of Agent Interaction: a Logic-Based Tool | M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; MELLO P.; P. TORRONI | 2004-01-01 | - | Austrian Society for Cybernetic. | 4.01 Contributo in Atti di convegno | - |
Proceedings of the 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004) | Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar | 2004-01-01 | - | s.n. | 3.02 Curatela | - |
2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004) | Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar | 2004-01-01 | - | - | 7.12 Attività espositiva:Mostra o Esposizione | - |
Preface | Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar | 2004-01-01 | - | s.n. | 2.04 Breve introduzione | - |
Preface | Leite Joao Alexandre; Omicini Andrea; Sterling Leon; Torroni Paolo | 2004-01-01 | - | Springer | 2.02 Prefazione | - |
An Abductive Framework for Information Exchange in Multi-Agent systems | GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P. | 2004-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Specification and Verification of Agent Interaction Protocols in a Logic-based System | M. ALBERTI; D. DAOLIO; M. GAVANELLI; E. LAMMA; P. MELLO; P. TORRONI | 2004-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence | CIAMPOLINI A.; TORRONI P. | 2004-01-01 | APPLIED ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
Declarative Agent Languages and Technologies | LEITE JOAO; OMICINI ANDREA; STERLING LEON; TORRONI PAOLO | 2004-01-01 | - | Springer | 3.02 Curatela | - |
Abduction with Hypothesis Confirmation | Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo | 2004-01-01 | - | Dipartimento di Matematica, Università di Parma | 4.01 Contributo in Atti di convegno | - |
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction | BRACCIALI A.; TORRONI P. | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints | M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni | 2004-01-01 | - | Morlacchi Editore | 4.01 Contributo in Atti di convegno | - |
Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004. Pre-Proceedings | LEITE J.; TORRONI P. | 2004-01-01 | - | New University of Lisbon | 3.02 Curatela | - |
Agent Planning, Negotiation, and Control of Operation | KAKAS A.; TORRONI P.; DEMETRIOU N. | 2004-01-01 | - | IOS Press | 4.01 Contributo in Atti di convegno | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile