Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Federico Chesani" ( http://dblp.L3S.de/Authors/Federico_Chesani )

URL (Homepage):  http://lia.deis.unibo.it/~fc/  Author page on DBLP  Author page in RDF  Community of Federico Chesani in ASPL-2

Publication years (Num. hits)
2004-2006 (16) 2007-2009 (19) 2010-2011 (17) 2012 (1)
Publication types (Num. hits)
article(13) inproceedings(40)
Venues (Conferences, Journals, ...)
Intelligenza Artificiale(3) AIME(2) Business Process Management Wo...(2) CLIMA(2) DALT(2) Fundam. Inform.(2) ICLP(2) ISMIS(2) KES-AMSTA(2) RR(2) SWAP(2) W(C)LP(2) WS-FM(2) ACM Trans. Comput. Log.(1) AI*IA(1) Applied Artificial Intelligenc...(1) More (+10 of total 39)
Authors
Federico Chesani(53) Paola Mello(48) Marco Montali(34) Paolo Torroni(33) Marco Alberti(23) Evelina Lamma(22) Marco Gavanelli(21) Sergio Storari(10) Stefano Bragaglia(6) Davide Sottara(5) Alessio Bottrighi(3) Anna Ciampolini(3) Paolo Terenziani(3) Stefania Montani(3) Alessio Guerri(2) Fabrizio Riguzzi(2) More (+10 of total 27)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 11 keywords
Results
Found 53 publication records. Showing 53 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Reactive Event Calculus for Monitoring Global Computing Applications. Search on Bibsonomy Logic Programs, Norms and Action The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Search on Bibsonomy Cybernetics and Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni A Computational Logic Application Framework for Service Discovery and Contracting. Search on Bibsonomy Int. J. Web Service Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. Search on Bibsonomy DALT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara Fuzzy Conformance Checking of Observed Behaviour with Expectations. Search on Bibsonomy AI*IA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. Search on Bibsonomy RuleML America The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni A Logic-Based, Reactive Calculus of Events. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Search on Bibsonomy Multiagent and Grid Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari Declarative specification and verification of service choreographiess. Search on Bibsonomy TWEB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Özgür Kafali, Federico Chesani, Paolo Torroni What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. Search on Bibsonomy HAIS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. Search on Bibsonomy RR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Role Monitoring in Open Agent Societies. Search on Bibsonomy KES-AMSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Declarative Technologies for Open Agent Systems and Beyond. Search on Bibsonomy KES-AMSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara A Rule-Based Implementation of Fuzzy Tableau Reasoning. Search on Bibsonomy RuleML The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Search on Bibsonomy T. Petri Nets and Other Models of Concurrency The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Commitment Tracking via the Reactive Event Calculus. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali Social Commitments in Time: Satisfied or Compensated. Search on Bibsonomy DALT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. Search on Bibsonomy AIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. Search on Bibsonomy KR4HC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Verifying A-Priori the Composition of Declarative Specified Services. Search on Bibsonomy MALLOW The full citation details ... 2009 DBLP  BibTeX  RDF
1Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Verifiable agent interaction in abductive logic programming: The SCIFF framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Verification of Choreographies During Execution Using the Reactive Event Calculus. Search on Bibsonomy WS-FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Verification from Declarative Specifications Using Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Anna Ciampolini, Paola Mello E-learning by Doing with Computational Logic. Search on Bibsonomy Knowledge Construction in E-learning Context The full citation details ... 2008 DBLP  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. Search on Bibsonomy SWAP The full citation details ... 2008 DBLP  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari Checking Compliance of Execution Traces to Business Rules. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Specification and Verification of Agent Interaction Protocols in a Logic-based System. Search on Bibsonomy Scalable Computing: Practice and Experience The full citation details ... 2007 DBLP  BibTeX  RDF
1Paolo Torroni, Marco Gavanelli, Federico Chesani Argumentation in the Semantic Web. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF argumentation frameworks, Semantic Web, logic programming
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Web Service Contracting: Specification and Reasoning with SCIFF. Search on Bibsonomy ESWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Expressing and Verifying Business Contracts with Abductive Logic Programming. Search on Bibsonomy Normative Multi-agent Systems The full citation details ... 2007 DBLP  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Sergio Storari Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. Search on Bibsonomy AIME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Careflow management, Conformance verification, Computational logic, Clinical practice guidelines
1Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni Compliance verification of agent interaction: a logic-based software tool. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. Search on Bibsonomy WS-FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. Search on Bibsonomy ISMIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello A Verifiable Logic-Based Agent Architecture. Search on Bibsonomy ISMIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali An abductive framework for a-priori verification of web services. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF web services, formal verification, constraints, choreographies, abduction
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Policy-based Reasoning for Smart Web Service Interaction. Search on Bibsonomy SWAP The full citation details ... 2006 DBLP  BibTeX  RDF
1Marco Alberti, Federico Chesani The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2005 DBLP  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni Expressing interaction in combinatorial auction through social integrity constraints. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2005 DBLP  BibTeX  RDF
1Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari Protocol Specification and Verification by Using Computational Logic. Search on Bibsonomy WOA The full citation details ... 2005 DBLP  BibTeX  RDF
1Federico Chesani Formalization and Verification of Interaction Protocols. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Security Protocols Verification in Abductive Logic Programming: A Case Study. Search on Bibsonomy ESAW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni A Logic based Approach to Interaction Design in Open Multi-Agent Systems. Search on Bibsonomy WETICE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Search on Bibsonomy Global Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.