|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
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 |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|