CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 111
Titolo Autore(i) Anno Periodico Editore Tipo File
Checking Compliance of Execution Traces to Business Rules F. Chesani; P. Mello; M. Montali; F. Riguzzi; M. Sebastianis; S. Storari 2009-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
A REC-based commitment tracking tool Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 2009-01-01 - - 4.01 Contributo in Atti di convegno -
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; M. Montali; P. Mello; P. Torroni 2009-01-01 - IEEE 4.01 Contributo in Atti di convegno -
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani;... M. Torchio 2009-01-01 - Springer 4.01 Contributo in Atti di convegno -
Verification of choreographies during execution using the reactive event calculus Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 2009-01-01 LECTURE NOTES IN COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Declarative Technologies for Open Agent Systems and Beyond F. Chesani; P. Mello; M. Montali; P. Torroni 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning S. Bragaglia; F. Chesani; A. Ciampolini; P.Mello; M. Montali; D. Sottara 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
Social Commitments in Time: Satisfied or Compensated P. Torroni; F. Chesani; P. Mello; M. Montali 2010-01-01 - SPRINGER 4.01 Contributo in Atti di convegno -
Monitoring Time-Aware Social Commitments with Reactive Event Calculus F. Chesani; P. Mello; M. Montali; P. Torroni 2010-01-01 - Austrian Society for Cybernetics Studies 4.01 Contributo in Atti di convegno -
Role Monitoring in Open Agent Societies F. Chesani; P. Mello; M. Montali; P. Torroni 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines A. Bottrighi; F.Chesani; P. Mello; M. Montali; S. Montani; S. Storari; P. Terenziani 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior O. Kafali; F. Chesani; P. Torroni 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules S. Bragaglia; F. Chesani; P. Mello; D. Sottara 2010-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma 2010-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni 2010-01-01 MULTIAGENT AND GRID SYSTEMS - 1.01 Articolo in rivista -
A rule-based implementation of fuzzy tableau reasoning S. Bragaglia; F. Chesani; P. Mello; D. Sottara 2010-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
A Logic-Based, Reactive Calculus of Events F. Chesani; P. Mello; M. Montali; P. Torroni 2010-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
Declarative Specification and Verification of Service Choreographies M. Montali; M. Pesic; W. M. P. van der Aalst; F. Chesani; P. Mello; S. Storari 2010-01-01 ACM TRANSACTIONS ON THE WEB - 1.01 Articolo in rivista -
Monitoring time-aware commitments within agent-based simulation environments F. Chesani; P. Mello; M. Montali; P. Torroni 2011-01-01 CYBERNETICS AND SYSTEMS - 1.01 Articolo in rivista -
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. F. Chesani; P. Mello; M. Montali; P. Torroni 2011-01-01 INTELLIGENZA ARTIFICIALE - 1.01 Articolo in rivista -
Mostrati risultati da 41 a 60 di 111
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