|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 44 publication records. Showing 44 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma |
Deon + : Abduction and Constraints for Normative Reasoning.  |
Logic Programs, Norms and Action  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory R. Wheeler, Marco Alberti |
NO Revision and NO Contraction. |
Minds and Machines |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira |
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco 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. |
Int. J. Web Service Res. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari |
Learning specifications of interaction protocols and business processes and proving their properties. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota |
Normative Systems Represented as Hybrid Knowledge Bases. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco 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. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma |
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Marco Alberti, Evelina Lamma |
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco 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. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, 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 |
| 1 | Marco Gavanelli, Marco Alberti, Evelina Lamma |
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Verification from Declarative Specifications Using Logic Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma |
Exploiting Semantic Technology in Computational Logic-based Service Contracting. |
SWAP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marco 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. |
Scalable Computing: Practice and Experience |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, 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 |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni |
Expressing and Verifying Business Contracts with Abductive Logic Programming. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco 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. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni |
Compliance verification of agent interaction: a logic-based software tool. |
Applied Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor |
Mapping deontic operators to abductive expectations. |
Computational & Mathematical Organization Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco 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. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
A Verifiable Logic-Based Agent Architecture. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, 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 |
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Policy-based Reasoning for Smart Web Service Interaction. |
SWAP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
A CHR-based implementation of known arc-consistency. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani |
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. |
Intelligenza Artificiale |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni |
Expressing interaction in combinatorial auction through social integrity constraints. |
Intelligenza Artificiale |
2005 |
DBLP BibTeX RDF |
|
| 1 | Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni |
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Abduction with Hypotheses Confirmation. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari |
Protocol Specification and Verification by Using Computational Logic. |
WOA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Security Protocols Verification in Abductive Logic Programming: A Case Study. |
ESAW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
The SCIFF Abductive Proof-Procedure. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor |
Mapping of Deontic Operators to Abductive Expectations. |
NORMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma |
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. |
W(C)LP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni |
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. |
W(C)LP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Specification and Verification of Agent Interaction using Social Integrity Constraints. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
A CHR-based Implementation of Known Arc-Consistency |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello |
Specification and verification of agent interaction protocols in a logic-based system. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
verification, agents, computational logic |
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni |
A Logic based Approach to Interaction Design in Open Multi-Agent Systems. |
WETICE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
An Abductive Interpretation for Open Agent Societies. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
A Social ACL Semantics by Deontic Constraints. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti, Evelina Lamma |
Synthesis of Object Models from Partial Models: A CSP Perspective. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")