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-2008 (16) 2009-2010 (19) 2011-2013 (15) 2014-2017 (20) 2018-2019 (9)
Publication types (Num. hits)
article(27) incollection(5) inproceedings(59) phdthesis(1) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 11 keywords

Results
Found 96 publication records. Showing 95 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daniela Loreti, Federico Chesani, Paola Mello, Luca Roffia, Francesco Antoniazzi, Tullio Salmon Cinotti, Giacomo Paolini, Diego Masotti, Alessandra Costanzo Complex reactive event processing for assisted living: The Habitat project case study. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elena Borelli, Giacomo Paolini, Francesco Antoniazzi, Marina Barbiroli, Francesca Benassi, Federico Chesani, Lorenzo Chiari, Massimiliano Fantini, Franco Fuschini, Andrea Galassi, Gian Andrea Giacobone, Silvia Imbesi, Melissa Licciardello, Daniela Loreti, Michele Marchi, Diego Masotti, Paola Mello, Sabato Mellone, Giuseppe Mincolelli, Carla Raffaelli, Luca Roffia, Tullio Salmon Cinotti, Carlo Tacconi, Paola Tamburini, Marco Zoli, Alessandra Costanzo HABITAT: An IoT Solution for Independent Elderly. Search on Bibsonomy Sensors The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Cattelani, Martino Belvederi Murri, Federico Chesani, Lorenzo Chiari, Stefania Bandinelli, Pierpaolo Palumbo Risk Prediction Model for Late Life Depression: Development and Validation on Three Large European Datasets. Search on Bibsonomy IEEE J. Biomedical and Health Informatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali Evaluating Compliance: From LTL to Abductive Logic Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Andrea Galassi, Marco Lippi 0001, Paola Mello Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris. Search on Bibsonomy IEEE Trans. Games The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello A distributed approach to compliance monitoring of business process event streams. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. Search on Bibsonomy CILC The full citation details ... 2018 DBLP  BibTeX  RDF
1Federico Chesani, Paola Mello, Michela Milano Solving Mathematical Puzzles: A Challenging Competition for AI. Search on Bibsonomy AI Magazine The full citation details ... 2017 DBLP  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. Search on Bibsonomy ISMIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello Abduction for Generating Synthetic Traces. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello Distributed Compliance Monitoring of Business Processes over MapReduce Architectures. Search on Bibsonomy ICPE Companion The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Andrea Galassi, Paola Mello, Giada Trisolini A Game-Based Competition as Instrument for Teaching Artificial Intelligence. Search on Bibsonomy AI*IA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Michela Milano (eds.) Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), Genova, Italy, November 28th, 2016. Search on Bibsonomy URANIA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris Abducing Compliance of Incomplete Event Logs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Elisabeth Boulton, Helen Hawley-Hague, Beatrix Vereijken, Amanda Clifford, Nick A. Guldemond, Klaus Pfeiffer, Alex Hall, Federico Chesani, Sabato Mellone, Alan Bourke, Chris Todd Developing the FARSEEING Taxonomy of Technologies: Classification and description of technology use (including ICT) in falls prevention studies. Search on Bibsonomy Journal of Biomedical Informatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello Process Mining Monitoring for Map Reduce Applications in the Cloud. Search on Bibsonomy CLOSER (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Anna Ciampolini, Daniela Loreti, Paola Mello Map Reduce Autoscaling over the Cloud with Process Mining Monitoring. Search on Bibsonomy CLOSER (Selected Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris Abducing Compliance of Incomplete Event Logs. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Michela Milano Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper). Search on Bibsonomy URANIA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Federico Chesani, Catherine G. Enright, Marco Montali, Michael G. Madden Monitoring in the Healthcare Setting. Search on Bibsonomy Foundations of Biomedical Knowledge Representation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes. Search on Bibsonomy Foundations of Biomedical Knowledge Representation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Evaluating compliance: from LTL to abductive logic programming. Search on Bibsonomy CILC The full citation details ... 2015 DBLP  BibTeX  RDF
1Ather Nawaz, Jorunn Lægdheim Helbostad, Lorenzo Chiari, Federico Chesani, Luca Cattelani User Experience (UX) of the Fall Risk Assessment Tool (FRAT-up). Search on Bibsonomy CBMS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Stefano Bragaglia, Michela Milano, Federico Chesani, Elisa Marengo, Paolo Cagnoli Multi-Criteria Optimal Planning for Energy Policies in CLP. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli Multi-Criteria Optimal Planning for Energy Policies in CLP. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Luca Cattelani, Federico Chesani, Pierpaolo Palumbo, Luca Palmerini, Stefania Bandinelli, Clemens Becker, Lorenzo Chiari FRAT-Up, a Rule-Based System Evaluating Fall Risk in the Elderly. Search on Bibsonomy CBMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Representing and monitoring social commitments using the event calculus. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Montali, Fabrizio Maria Maggi, Federico Chesani, Paola Mello, Wil M. P. van der Aalst Monitoring business constraints with the event calculus. Search on Bibsonomy ACM TIST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi Towards data-aware constraints in declare. Search on Bibsonomy SAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matteo Baldoni, Federico Chesani, Paola Mello, Marco Montali (eds.) Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013. Search on Bibsonomy PAI@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
1Luca Cattelani, Pierpaolo Palumbo, Federico Chesani, Luca Palmerini, Lorenzo Chiari LPAD-based Fall Risk Assessment. Search on Bibsonomy PAI@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
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
1Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara A Rule-Based Calculus and Processing of Complex Events. Search on Bibsonomy RuleML The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, Marco Montali (eds.) Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, Rome, Italy, June 15, 2012 Search on Bibsonomy PAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Marco Alberti 0001, 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
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
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
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 (2) 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
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
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 0001, 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
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
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
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Declarative Technologies for Open Agent Systems and Beyond. Search on Bibsonomy KES-AMSTA (1) 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 (1) 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
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 (1) 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 Trans. Petri Nets and Other Models of Concurrency The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Modelling Interactions via Commitments and Expectations. Search on Bibsonomy Handbook of Research on Multi-Agent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Torroni, Marco Gavanelli, Federico Chesani Arguing on the Semantic Grid. Search on Bibsonomy Argumentation in Artificial Intelligence The full citation details ... 2009 DBLP  DOI  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
1Marco Alberti 0001, 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
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
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
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
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 0001, 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
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Expressing and Verifying Business Contracts with Abductive Logic Programming. Search on Bibsonomy Int. J. Electronic Commerce The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. Search on Bibsonomy Computer-based Medical Guidelines and Protocols The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Modeling and Verification of Business Processes and Choreographies in ALP. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Marco Montali, Paolo Torroni, Marco Alberti 0001, 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, 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
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, 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 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 Alberti 0001, 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 0001, 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 0001, 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
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 0001, 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 Specification, execution and verification of interaction protocols: an approach based on computational logic. Search on Bibsonomy 2007   RDF
1Marco Alberti 0001, 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
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 0001, 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 0001, 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 0001, 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 0001, 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
1Marco Alberti 0001, 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
1Marco Alberti 0001, 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
1Federico Chesani Formalization and Verification of Interaction Protocols. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, 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 0001, 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
1Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti 0001, Sergio Storari Protocol Specification and Verification by Using Computational Logic. Search on Bibsonomy WOA The full citation details ... 2005 DBLP  BibTeX  RDF
1Federico Chesani, Marco Gavanelli, Marco Alberti 0001, 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
1Marco Alberti 0001, 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 0001, 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
1Marco Alberti 0001, 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
Displaying result #1 - #95 of 95 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license