A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Specification and Verification of Agent Interaction Using Abductive Reasoning
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
This paper provides a tutorial overview of the theory and of the tools the SOCS project provided to design, define and test agent interaction protocols. ...
Within the SOCS (Societies Of ComputeeS) project, a language based on abductive semantics has been proposed as a mean to define interactions in open societies. ...
The tool, called SOCS-SI, runs the implementation of the SCIFF proof-procedure and it has been developed and interfaced with popular MAS systems. ...
doi:10.1007/11750734_14
fatcat:awgbzxdrdresdpvrcpccfns5pa
A Verifiable Logic-Based Agent Architecture
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A significant advantage of the computational logic foundation of the SCIFF framework is that the declarative specifications of agent policies and interaction protocols can be used directly, at runtime, ...
In this paper, we present the SCIFF platform for multi-agent systems. ...
Acknowledgements This work has been partially supported by the MIUR PRIN 2005 project Specification and verification of agent interaction protocols. ...
doi:10.1007/11875604_22
fatcat:b2qtrquk4vctvm5pvjtqqmbmxi
Security Protocols Verification in Abductive Logic Programming: A Case Study
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We first show how the protocol can be specified in our previously developed SOCS-SI framework, and then demonstrate the two types of verification. ...
properties about the overall system behaviour. ...
Acknowledgments This work has been supported by the European Commission within the SOCS project (IST-2001-32530), funded within the Global Computing Programme and by the MIUR COFIN 2003 projects La Gestione ...
doi:10.1007/11759683_7
fatcat:nuyqj2hp7zbhpebbc2lmbi3dha
Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The SOCS project (A computational logic model for the description, analysis and verification of global and open SOcieties of heterogeneous ComputeeS), funded by the European Commission under the Fifth ...
Framework, Future and Emerging Technologies programme, has been one of the main sponsors of CLIMA VI. ...
The author is grateful to all participants of the SOCS consortium for inputs to this article and for their hard work throughout the project. ...
doi:10.1007/11750734_26
fatcat:wbzkt7hxhzamlg4g5jewvvw2wu
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
In this work, we investigate the feasibility of using a framework based on computational logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS UE Project), for modeling ...
In this way, we can use a suitable tool, derived from the proof-procedure defined in the context of the SOCS project, to check at runtime whether a set of existing services behave in a conformant manner ...
This work has been partially funded by the MIUR Projects PRIN 2005: "Linguaggi per la specifica e la verifica di protocolli di interazione fra agenti" and "Vincoli e preferenze come formalismo unificante ...
doi:10.1007/11841197_4
fatcat:6hllivv7nzg7bpzbxnnesztoby
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
It describes the SOCS social model: an agent interaction specification and verification framework equipped with a declarative and operational semantics, expressed in terms of abduction. ...
The operational counterpart of the proposed framework has been implemented and integrated in SOCS-SI, a tool that can be used for on-the-fly verification of agent compliance with respect to specified protocols ...
Acknowledgements This work is partially funded by the Information Society Technologies programme of the European Commission under the IST-2001-32530 SOCS Project [3] , and by the MIUR COFIN 2003 projects ...
doi:10.1007/978-3-540-31794-4_17
fatcat:kjxvrk7tczce5kvzp3stjlcboa
COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL
2006
Applied Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance to interaction protocols. ...
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. ...
This work is partially funded by the IST programme of the European Commission under the IST-2001-32530 SOCS project [SOCS, 2002, and by the national MIUR COFIN 2003 projects "Sviluppo e verifica di sistemi ...
doi:10.1080/08839510500479546
fatcat:wcprcfsnm5fhlmum76chh3mgga
Mining process models with prime invisible tasks
2010
Data & Knowledge Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
We illustrate the advantages of using a declarative language in conjunction with logic-based semantics by applying our approach to a running example. 1 Societies Of ComputeeS (SOCS): a computational logic ...
model for the description, analysis and verification of global and open societies of heterogeneous computees. ...
ACKNOWLEDGMENT This work has been partially supported by the PRIN 2005 project "Specification and Verification of Agent Interaction Protocols" and by the FIRB project "TO-CAI.IT". ...
doi:10.1016/j.datak.2010.06.001
fatcat:o6i5fduqhbcollj4sc2nwzk4qu
Declarative specification and verification of service choreographiess
2010
ACM Transactions on the Web
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Declarative specification and verification of service choreographies. 1 Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies ...
Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors ...
ACKNOWLEDGMENTS We would like to thank Marco Gavanelli, Evelina Lamma, Marco Alberti, Paolo Torroni, Fabrizio Riguzzi and all colleagues that took part in the SOCS project. ...
doi:10.1145/1658373.1658376
fatcat:7n3nhfgwgfcx7a54cvkxlkmcpe
Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
In recent years, many groups have developed different computer-assisted management systems of GL. Each approach has its own peculiarities and thus a comparison is necessary. ...
The final goal of our analysis is to exploit the differences between these two systems and if they can be fruitfully integrated. ...
We would like to thank Manuela Rossi for her contribution to the comparison between GLARE and GPROVE. This work has been partially supported by the FIRB Project TOCAI.IT. ...
doi:10.1007/978-3-642-11808-1_7
fatcat:utstjnau2vgftj5eawfk7m64bi
Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$ -Tropos
2010
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We demonstrate the functioning of B-Tropos using a running example inspired by a real-world industrial scenario, and we describe how B-Tropos models can be automatically formalized in computational logic ...
, discussing formal properties of the resulting framework and its verification capabilities. ...
Acknowledgements This work has been partially funded by EU SENSORIA and SERENITY projects, by the MIUR-FIRB TOCAI project, by the MIUR PRIN 2005-011293 project, and by the PAT MOSTRO project. ...
doi:10.1007/s10458-010-9135-4
fatcat:nqnsa6qtvva7hdaof2nea77icy
Verification of Choreographies During Execution Using the Reactive Event Calculus
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We select a core set of DecSerFlow elements and formalize them using a reactive version of the Event Calculus, based on the computational logic SCIFF framework. ...
Our choice enables us to enrich DecSerFlow and the Event Calculus with quantitative time constraints and to model compensation actions. ...
This work has been partially supported by the FIRB project TOCAI.IT. The authors would like to thank the anonymous reviewers for their helpful comments. ...
doi:10.1007/978-3-642-01364-5_4
fatcat:kmc7h5dxdfhmvmlmr2vjzgnxyy
COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS
2007
Computational intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
We present a roadmap of research into the use of computational logic in agent-based systems and survey much of the recent work in these areas. ...
The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation. ...
In particular, the SOCS-SI tool [ACG + 06] (already mentioned in the previous section in relation with SOCS), uses the abductive logic programming SCIFF proof-procedure to consider messages exchanged by ...
doi:10.1111/j.1467-8640.2007.00295.x
fatcat:c76gbfuuwngjpk7ebs2jkpfxfi
Specification, Execution and Verification of Interaction Protocols An Approach based on Computational Logic Settore Disciplinare: ING-INF05 Ciclo XIX Examing Committee
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. ...
Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. ...
259,02
Table 3 . 2 : 32 Testing performances of the SCIFF Proof Procedure and SOCS-SI while increasing the depth of the derivation tree. No. of Messages SOCS-SI Time(sec.) ...
fatcat:sosm2oz3wjdlli5n6g754aed24
Monitoring norms: a multi-disciplinary perspective
2018
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
AbstractThe concept of a norm is found widely across fields including artificial intelligence, biology, computer security, cultural studies, economics, law, organizational behaviour and psychology. ...
Starting with a broad focus and narrowing to the multi-agent systems literature, this survey addresses four key questions: what is monitoring, what is monitored, who does the monitoring and how the monitoring ...
NYS was partially supported by grant number 102853 from the University Research Board, American University of Beirut. NYS thanks the fellowship at St Edmund's College, Cambridge. ...
doi:10.1017/s0269888918000267
fatcat:yquw5xwfv5hexkeyljdo6lyhai
« Previous
Showing results 1 — 15 out of 22 results