643 Hits in 5.1 sec

Locality based Linda: Programming with explicit localities [chapter]

Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
1997 Lecture Notes in Computer Science  
The operational semantics of the language turns out to be useful for discussing the language design, e.g. the effects of scoping disciplines over mobile agents which maintain their connections to the located  ...  We introduce a language which embeds the asynchronous Linda communication paradigm extended with explicit localities in a process calculus.  ...  Acknowledgments We are grateful to Luca Cardelli for stimulating discussions about global programming.  ... 
doi:10.1007/bfb0030636 fatcat:agdql24fijb63nv2gayh2keqha

Semantics and Agents for Intelligent Simulation and Collaboration in the 3D Internet

Matthias Klusch, Xiaoqi Cao, Patrick Kapahnke, Stefan Warwas
2011 2011 Seventh International Conference on Semantics, Knowledge and Grids  
For this purpose, the platform integrates semantic Web technologies, semantic services, intelligent agents, verification and web-based 3D graphics.  ...  We present the open 3D Internet research platform ISReal for semantic-enabled intelligent 3D simulations of realities in a XML3D web browser.  ...  ACKNOWLEDGMENT The reported work on the ISReal platform has been funded by the German Ministry for Education and Research (BMBF) under the project grant 01IWO8005.  ... 
doi:10.1109/skg.2011.40 dblp:conf/skg/KluschCKW11 fatcat:yywywr545bgqhbl4ywajuxtrsu

Cyber-Physical Systems and Events [chapter]

Carolyn Talcott
2008 Lecture Notes in Computer Science  
A solid semantic foundation is crucial for design, deployment, monitoring and adaptation of CPSs.  ...  Agents.  ...  For a mobile node this could include terrain information or building maps.  ... 
doi:10.1007/978-3-540-89437-7_6 fatcat:4mlyn6u6x5g5bfe6mpiag4dp7u

Non-interleaving semantics for mobile processes

Pierpaolo Degano, Corrado Priami
1999 Theoretical Computer Science  
Other non-interleaving semantics are investigated and compared.  ...  The presentation takes advantage of a parametric definition of process behaviour given in SOS style that permits us to take almost for free the interleaving theory and tools.  ...  Acknowledgements We thank Marco Pistore, Davide Sangiorgi, Lone Leth Thomsen and Bent Thomsen for their helpful comments. We acknowledge the accurate refereeing of our paper as well.  ... 
doi:10.1016/s0304-3975(99)80003-6 fatcat:krbt2aootjfsji234p6j3z625a


Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
2007 Computational intelligence  
Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation.  ...  Even though, with such a rapidly changing field, it is impossible to cover every development, we aim to give the reader sufficient background to understand the current research problems and potential future  ...  Since agents are autonomous, understanding why an agent chooses a course of action is vital.  ... 
doi:10.1111/j.1467-8640.2007.00295.x fatcat:c76gbfuuwngjpk7ebs2jkpfxfi

Rule-based approaches for energy savings in an ambient intelligence environment

Thanos G. Stavropoulos, Efstratios Kontopoulos, Nick Bassiliades, John Argyriou, Antonis Bikakis, Dimitris Vrakas, Ioannis Vlahavas
2015 Pervasive and Mobile Computing  
Two complementary and mutually exclusive rule-based approaches for enforcing energy-saving policies are proposed: a reactive agent based on production rules and a deliberative agent based on defeasible  ...  This paper presents a novel real-world application for energy savings in a Smart Building environment.  ...  Figure 6 displays the main window of the tool as well as its STM (Semantic Tag Mapping) window that provides a meta-modeling facility for generating schemas over various language versions.  ... 
doi:10.1016/j.pmcj.2014.05.001 fatcat:gqvmzpnzvjhxdca62bmjfn4xuq

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents [chapter]

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardina
2009 Multi-Agent Programming  
IndiGolog is a programming language for autonomous agents that sense their environment and do planning as they operate. Instead of classical planning, it supports high-level program execution.  ...  Programs are executed online together with sensing the environment and monitoring for events, thus supporting the development of reactive agents.  ...  Acknowledgements The late Ray Reiter was a major contributor to Golog and to our approach to agent programming.  ... 
doi:10.1007/978-0-387-89299-3_2 fatcat:azbnddnhnrdhbpysfnwybmf5xq

On the scaling of functional spaces, from smart cities to cloud computing [article]

Mark Burgess
2016 arXiv   pre-print
The study of spacetime, and its role in understanding functional systems has received little attention in information science.  ...  Using promise theory, I derive and extend the scaling laws for cities to expose what may be extrapolated to technological systems.  ...  This work could not have happened but for that chance meeting in a remote city. Also thanks to John D. Cook for carefully reading a draft.  ... 
arXiv:1602.06091v1 fatcat:sf5dhy5nvfbplapw3lvbxfptem

Modelling biochemical pathways through enhanced π-calculus

M. Curti, P. Degano, C. Priami, C.T. Baldari
2004 Theoretical Computer Science  
First, we present a reduction semantics for the -calculus from which causality and concurrency can be mechanically derived.  ...  Then, we show the applicability of our proposal on a couple of biological examples.  ...  Acknowledgements We wish to thank the referees for their precise and invaluable suggestions.  ... 
doi:10.1016/j.tcs.2004.03.066 fatcat:gmk2j7ypmffvde2iydjy3edxqm

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion [article]

Miguel Romero, Camilo Rocha
2018 arXiv   pre-print
This work presents an executable rewriting logic semantics of SCCP with extrusion (i.e., process mobility) that uses rewriting modulo SMT, a novel technique that combines the power of term rewriting, matching  ...  of a system.  ...  ., mobility).  ... 
arXiv:1805.07434v1 fatcat:trtncfvnkvdpni2f6vzqnruiyi

Nomadic pict

Peter Sewell, Paweł T. Wojciechowski, Asis Unyapoth
2010 ACM Transactions on Programming Languages and Systems  
This requires novel equivalences and congruence results that take migration into account, and reasoning principles for agents that are temporarily immobile (e.g. waiting on a lock elsewhere in the system  ...  Mobile computation, in which executing computations can move from one physical computing device to another, is a recurring theme: from OS process migration, to language-level mobility, to virtual machine  ...  Turner for allowing us to use the source code of Pict. We also thank Robin Milner and Ken Moody for their support.  ... 
doi:10.1145/1734206.1734209 fatcat:wocbql7agna3vigdrpmsjq7nwm

Toward Mobile Robots Reasoning Like Humans

Jean Oh, Arne Suppé, Felix Duvallet, Abdeslam Boularias, Luis Navarro-Serment, Martial Hebert, Anthony Stentz, Jerry Vinokurov, Oscar Romero, Christian Lebiere, Robert Dean
This paper describes recent developments using this architecture on a fielded mobile robot platform operating in unknown urban environments.  ...  To become effective teammates, robots must possess profound understanding of an environment, be able to reason about the desired commands and goals within a specific context, and be able to communicate  ...  By leveraging high-level contextual rea- soning capabilities and semantic understanding of metric information, the system enables mobile robots to navigate and perform nontrivial tasks in real-world environments  ... 
doi:10.1609/aaai.v29i1.9383 fatcat:u2cigthzezd7ziesffumkv6dmu

Synthetic Reproduction and Augmentation of COVID-19 Case Reporting Data by Agent-Based Simulation [article]

Nikolas Popper, Melanie Zechmeister, Dominik Brunmeir, Claire Rippinger, Nadine Weibrecht, Christoph Urach, Martin Bicher, Günter Schneckenreither, Andreas Rauber
2020 biorxiv/medrxiv   pre-print
We generate synthetic data documenting COVID-19 cases in Austria by the means of an agent-based simulation model.  ...  The resulting data semantically and statistically aligns with an official epidemiological case reporting data set and provides an easily accessible, consistent and augmented alternative.  ...  The authors acknowledge the 'TU Wien Bibliothek' for financial support through its Open Access Funding Program. FUNDING INFORMATION  ... 
doi:10.1101/2020.11.07.20227462 fatcat:pvshoyb75rfrnosp5dr5ndeusa

Using a Normative Framework to Explore the Prototyping of Wireless Grids [chapter]

Tina Balke, Marina De Vos, Julian Padget, Frank Fitzek
2011 Lecture Notes in Computer Science  
Wireless grids have been proposed to address the energy issues arising from a new generation of mobile phones, the idea being that local communication with other mobile phones, being cheaper, can be used  ...  This results in a social dilemma, as it is advantageous for rational users to benefit from the energy savings without any contributing to the cooperation, as every commitment has its price.  ...  Acknowledgements: Tina Balke is partially supported by a grant from the German Academic Exchange Service (DAAD).  ... 
doi:10.1007/978-3-642-21268-0_6 fatcat:iathm7mbe5fezji56yi5jnx63m

Towards a synchronized semantic model to support aspects of building management

Michael Dibley, Haijiang Li, John Miles, Yacine Rezgui
2009 2009 7th IEEE International Conference on Industrial Informatics  
The capture of semantics though formal expression to model the environment, adds a richness that the agents exploit to intelligently determine behaviours to satisfy goals that are flexible and adaptable  ...  Agent behaviour directed at working toward goals is rendered intelligent with semantic web technologies.  ...  As well as for updating, a non inference model is useful for non semantic queries.  ... 
doi:10.1109/indin.2009.5195822 fatcat:z2s4micvrvhwzioiivpdxz2t54
« Previous Showing results 1 — 15 out of 643 results