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.
Filters
Knowledge graph refinement: A survey of approaches and evaluation methods
2016
Semantic Web Journal
Preserved Fulltext
In this article, we provide a survey of such knowledge graph refinement approaches, with a dual look at both the methods being proposed as well as the evaluation methodologies used. ...
In order to further increase the utility of such knowledge graphs, various refinement methods have been proposed, which try to infer and add missing knowledge to the graph, or identify erroneous pieces ...
The idea of feeding intelligent systems and agents with general, formalized knowledge of the world dates back to classic Artificial Intelligence research in the 1980s [89] . ...
doi:10.3233/sw-160218
fatcat:uiicnh2nbnev5j4ixum23hzila
Refining Value Sensitive Design: A (Capability-Based) Procedural Ethics Approach to Technological Design for Well-Being
2020
Science and Engineering Ethics
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 2021; you can also visit the original URL.
The file type is application/pdf.
Conclusions suggest that refining VSD with a capability-based procedural approach to ethics fosters the concern for democracy and social justice while preserving vital scientific-technical standards. ...
Accordingly, it is argued that VSD's ethical-democratic import would substantially be enhanced by the espousal of a procedural ethics stance and the deliberative approach to value and welfare entailed ...
In order to cope with the critical issues above and providing a superior moral foundation, the following sections propose to supplement/refine VSD by adopting a procedural ethics stance and consistently ...
doi:10.1007/s11948-020-00223-3
pmid:32424724
pmcid:PMC7550296
fatcat:o5tdk3ld4jgbbmlb7rtzguhqzq
Implementation and refinement of a community health nurse model of support for people experiencing homelessness in Australia: a collaborative approach
2019
BMJ Open
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.
A collaborative approach using demographic data collected from client records to identify need and measure the time clients took to engage and access services, qualitative data gathered during Stakeholder ...
ObjectiveTo implement, refine and evaluate an assertive community health nurse (CHN) model of support for people experiencing or at risk of homelessness that aims to improve their access to health and ...
All authors contributed to analysing the data and undertook the final drafting of the article, revised it critically for important intellectual content, read and approved the final version of the report ...
doi:10.1136/bmjopen-2019-030982
pmid:31748297
pmcid:PMC6887079
fatcat:enslf2khyffanomyrnjj6pdsae
Formalisms for multi-agent systems
1997
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 2017; you can also visit the original URL.
The file type is application/pdf.
This panel was concerned with several fundamental issues relating to formalisms for the description and development of multi-agent systems. What role do formal theories play? ...
In the field of multi-agent systems, our goal is to build systems capable of flexible autonomous decision making, with societies of such systems cooperating with one-another. ...
What should a multi-agent theory or formalism look like? Multi-agent systems add another dimension to agent-oriented systems. Can single-agent formalisms be extended for multi-agent systems? ...
doi:10.1017/s0269888997003068
fatcat:gqe22pkxubeavhccegxblwbtku
Formal development of cooperative exception handling for mobile agent systems
2008
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems - SERENE '08
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 2009; you can also visit the original URL.
The file type is application/pdf.
Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems. ...
Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems. ...
Our chosen formal framework is the B Method -a formal approach to the industrial development of highly dependable software. ...
doi:10.1145/1479772.1479779
dblp:conf/serene/LaibinisTIR08
fatcat:jbkiefbr3ra63fv2ypfvows7fy
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
[article]
2015
arXiv
pre-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 2020; you can also visit the original URL.
The file type is application/pdf.
We have considered a case-study of a multi-agent robotic system for the transport of stock between storehouses to exemplify our formal approach. ...
The challenge is to develop a safe multi-agent robotic system, more specifically to ensure the correctness properties of safety and liveness. ...
This work has been possible due to the support of The Department of Computer Science & IT, The Islamia University of Bahawalpur, Pakistan. ...
arXiv:1604.05577v1
fatcat:hwg3qh2o2nc6xepka5pfwjq6hu
Modelling resilient collaborative multi-agent systems
2020
Computing
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 2021; you can also visit the original URL.
The file type is application/pdf.
We demonstrate the application of the proposed approach by a case study—a smart warehouse system. ...
In this paper, we propose a generic resilience-explicit formalisation of the main concepts of multi-agent systems. ...
Overall, the formal development in Event-B has resulted in building a clean and well-structured architecture of a multi-agent system. ...
doi:10.1007/s00607-020-00861-2
fatcat:sblfs5pyyvhhbpb3hvwikvq6dq
A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)
2016
International Journal of Advanced Computer Science and Applications
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.
An approach has been proposed for the analysis, design, formal specification and verification of critical Software-intensive System-of-Systems. ...
The role of critical system-of-systems have become considerably software-intensive. A critical system-of-system has to satisfy correctness properties of liveness and safety. ...
In this research project, multi-agent system architecture is formally verified and developed to endow an automatic transportation system with advanced selfmanaging capabilities. ...
doi:10.14569/ijacsa.2016.070834
fatcat:g4kdhh7r7vg63k2dfsebkzjtx4
A Framework for Open Distributed System Design
2007
Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International
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 approach we are putting forward relies on using a combination of formal methods applied for rigorous development of the critical parts of the system and a set of design abstractions proposed specifically ...
We demonstrate our approach using a case study, in which we show the whole process of developing an ambient campus application -an example of open distributed systems -including its formal specification ...
In our approach, the application development starts with a abstract specification of a scope -a mathematical model of the required behaviour of a multi-agent application. ...
doi:10.1109/compsac.2007.23
dblp:conf/compsac/IliasovRA07
fatcat:ki5rdtqpafearkdgmythh2zg6m
Temporal Development Methods for Agent-Based
2005
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.
In this paper we overview one specific approach to the formal development of multi-agent systems. ...
This approach is based on the use of temporal logics to represent both the behaviour of individual agents, and the macro-level behaviour of multi-agent systems. ...
I also wish to acknowledge the support of EPSRC in previous years. ...
doi:10.1007/s10458-004-3140-4
fatcat:5jq5gsi42fhtvgcli7waj6auge
Formal Agent Development: Framework to System
[chapter]
2001
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.
Our own view is that work on formal models of agent-based systems are valuable inasmuch as they contribute to a fundamental goal of computing of practical agent development. ...
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophisticated logics for reasoning ...
Further work aims to use this to produce a full development framework from a single high-level agent to a cooperating multi-agent system. In a similar vein, Parsons et al. ...
doi:10.1007/3-540-45484-5_11
fatcat:3q3zvmjqsngdpmmm7medmnk2vi
Formalising control in robust spoken dialogue systems
2005
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
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 2011; you can also visit the original URL.
The file type is application/pdf.
Moreover, to support this approach, we introduce FDMSC -the Formal Dialogue Management for Shared Control toolkit -and illustrate its use in the construction of formal methods based spoken dialogue systems ...
In this paper we report on our efforts to improve the safety and overall usability of dialogue enabled applications through the employment of formal methods in SDS development and testing. ...
Acknowledgements - We gratefully acknowledge the support of the Deutschen Forschungsgemeinschaft (DFG) through the SFB/TR8 Spatial Cognition -Subproject I3-SharC. ...
doi:10.1109/sefm.2005.21
dblp:conf/sefm/ShiRB05
fatcat:x4bpwtc3bvbsri7bxuxc3zdpvm
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
2007
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)
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 then outline our experience in developing an ambient lecture system using the combination of formal approach and our middleware. ...
It is therefore necessary to construct the critical parts of fault tolerant ambient systems in a rigorous manner. ...
A. Iliasov is partially supported by the ORS award (UK). ...
doi:10.1109/isorc.2007.46
dblp:conf/isorc/IliasovRALT07
fatcat:fwb6gvfoxjc5jfllktz6cosnvm
Methodological foundations for agent-based systems
1997
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 2017; you can also visit the original URL.
The file type is application/pdf.
In spite of the rapid spread of agent technology, there is, as yet, little evidence of an engineering approach to the development of agent-based systems. ...
One of the key reasons for this is the inadequacy of standard software development approaches for these new, and fundamentally different, agent-based systems. ...
Aaron Sloman (A.Sloman@cs.bham.ac.uk) and Brian Logan (B.S.Logan@cs.bham.ac.uk), both members of the School of Computer Science at the University of Birmingham, were also panel members and were invited ...
doi:10.1017/s026988899700307x
fatcat:52adwnekmjduxjhmc7ulq7q6kq
The ontology-based methodology phases to develop multi-agent system (OmMAS)
2017
2017 4th International Conference on Electrical Engineering, Computer Science and Informatics (EECSI)
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 2020; you can also visit the original URL.
The file type is application/pdf.
There are a lot of methodologies to develop multi-agent system, but the current problem is how to choose the best methodology phase to develop current multi-agent system. ...
Semantic aspect on methodology phase is a significant issue to develop multi-agent system in the current days. ...
The authors would like to thank the Deanship of Scientific Research Management (DSR) King Abdulaziz University for the support and incentive extended in making this study a success. ...
doi:10.1109/eecsi.2017.8239128
fatcat:2s4bdok2xvbado6an5gkzmd234
« Previous
Showing results 1 — 15 out of 56,801 results