Sfoglia per Autore
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.
Modeling interactions using social integrity constraints: a resource sharing case study
2004 ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.
A System for Measuring Function Points from an ER-DFD Specification
2004 E. LAMMA; MELLO P.; F. RIGUZZI
Towards a Mapping of Deontic Logic onto an Abductive Framework
2004 alberti marco; gavanelli marco; lamma evelina; mello paola; sartor giovanni; torroni paolo
Compliance Verification of Agent Interaction: a Logic-Based Tool
2004 M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; MELLO P.; P. TORRONI
A multi-agent system for medical services synergy and coordination.
2004 A. Ciampolini; P. Mello; S. Storari.
An Abductive Framework for Information Exchange in Multi-Agent systems
2004 GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.
ALIAS: The Abductive LogIc AgentS architecture
2004 Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G.
Integration of medical services in the MeSSyCo agent system (demo session).
2004 Ciampolini A.; Mello P.; Storari S.
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
Learning the Dose Adjustment for the Oral Anticoagulation Treatment
2004 G. Gamberoni; E. Lamma; P. Mello; P. Pavesi; S. Storari
Abduction with Hypothesis Confirmation
2004 Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo
Un sistema basato sulla conoscenza per la terapia anticoagulante orale
2004 Barbieri B.; Gamberoni G.; Lamma E.; Mello P.; Pavesi P.C.; Storari S.; Trocino G.
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
An Expert System for the Oral Anticoagulation Treatment
2005 B. Barbieri; G. Gamberoni; E. Lamma; P. Mello; P. Pavesi; S. Storari
The SCIFF Abductive Proof Procedure
2005 M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P.Torroni
Dealing with incomplete knowledge on CLP(FD) variable Domains
2005 M. GAVANELLI; E. LAMMA; MELLO P.; M. MILANO
Abduction with hypotheses confirmation
2005 M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
Mapping Deontic Operators to Abductive Expectations
2005 M. Alberti; M. Gavanelli; E. Lamma; P. Mello; G. Sartor; P. Torroni
A CHR-based implementation of known arc-consistency
2005 M. Alberti; M. Gavanelli; E. Lamma; P. Mello; M. Milano
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
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 | - |
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 System for Measuring Function Points from an ER-DFD Specification | E. LAMMA; MELLO P.; F. RIGUZZI | 2004-01-01 | COMPUTER JOURNAL | - | 1.01 Articolo in rivista | - |
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 | - |
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 | - |
A multi-agent system for medical services synergy and coordination. | A. Ciampolini; P. Mello; S. Storari. | 2004-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
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 | - |
ALIAS: The Abductive LogIc AgentS architecture | Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G. | 2004-01-01 | - | - | 7.04 Software | - |
Integration of medical services in the MeSSyCo agent system (demo session). | Ciampolini A.; Mello P.; Storari S. | 2004-01-01 | - | ACM | 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 | - |
Learning the Dose Adjustment for the Oral Anticoagulation Treatment | G. Gamberoni; E. Lamma; P. Mello; P. Pavesi; S. Storari | 2004-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
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 | - |
Un sistema basato sulla conoscenza per la terapia anticoagulante orale | Barbieri B.; Gamberoni G.; Lamma E.; Mello P.; Pavesi P.C.; Storari S.; Trocino G. | 2004-01-01 | INTELLIGENZA ARTIFICIALE | - | 1.01 Articolo in rivista | - |
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 | - |
An Expert System for the Oral Anticoagulation Treatment | B. Barbieri; G. Gamberoni; E. Lamma; P. Mello; P. Pavesi; S. Storari | 2005-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
The SCIFF Abductive Proof Procedure | M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P.Torroni | 2005-01-01 | - | - | 7.04 Software | - |
Dealing with incomplete knowledge on CLP(FD) variable Domains | M. GAVANELLI; E. LAMMA; MELLO P.; M. MILANO | 2005-01-01 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - | 1.01 Articolo in rivista | - |
Abduction with hypotheses confirmation | M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni | 2005-01-01 | - | Morgan Kaufmann | 4.02 Riassunto (Abstract) | - |
Mapping Deontic Operators to Abductive Expectations | M. Alberti; M. Gavanelli; E. Lamma; P. Mello; G. Sartor; P. Torroni | 2005-01-01 | - | AISB | 4.01 Contributo in Atti di convegno | - |
A CHR-based implementation of known arc-consistency | M. Alberti; M. Gavanelli; E. Lamma; P. Mello; M. Milano | 2005-01-01 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | - | 1.01 Articolo in rivista | - |
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