Search results for "SCIFF"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
238	Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Verifiable agent interaction in abductive logic programming: The SCIFF framework.	ACM Trans. Comput. Log.	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
82	Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni	Web Service Contracting: Specification and Reasoning with SCIFF.	ESWC	2007	DBLP DOI BibTeX RDF
72	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali	An abductive framework for a-priori verification of web services.	PPDP	2006	DBLP DOI BibTeX RDF	web services, formal verification, constraints, choreographies, abduction
34	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma	The CHR-based Implementation of the SCIFF Abductive System.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
34	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
34	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma	The CHR-based Implementation of the SCIFF Abductive System.	CILC	2011	DBLP BibTeX RDF
34	Federico 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.	Multiagent Grid Syst.	2010	DBLP DOI BibTeX RDF
34	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma	Runtime Addition of Integrity Constraints in SCIFF.	CILC	2010	DBLP BibTeX RDF
34	Marco Gavanelli, Marco Alberti 0001, Evelina Lamma	Integration of Abductive Reasoning and Constraint Optimization in SCIFF.	ICLP	2009	DBLP DOI BibTeX RDF
34	Marco Alberti 0001, Federico Chesani	The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system.	Intelligenza Artificiale	2005	DBLP BibTeX RDF
34	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	The SCIFF Abductive Proof-Procedure.	AI*IA	2005	DBLP DOI BibTeX RDF
24	Marco 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.	ICWS	2009	DBLP DOI BibTeX RDF
24	Marco Montali, Paolo Torroni, Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello	Verification from Declarative Specifications Using Logic Programming.	ICLP	2008	DBLP DOI BibTeX RDF
24	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Verification of Choreographies During Execution Using the Reactive Event Calculus.	WS-FM	2008	DBLP DOI BibTeX RDF
24	Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari	Applying Inductive Logic Programming to Process Mining.	ILP	2007	DBLP DOI BibTeX RDF	Learning from Interpretations, Business Processes, Process Mining, Interaction Protocols