About: Modelling Multi-Agents Systems as Concurrent Constraint Processes

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modelling Multi-Agents Systems as Concurrent Constraint Processes Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	We present a language Scc for a specification of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify in such a way that agents can (i) maintain its local private store, (ii) share (read/write) the information in the global store and (iii) communicate with other agents (via multi-party or hand-shake). To justify our proposal we compare Scc to a recently proposed language for the exchange of information in multi-agent systems. Also we provide an operational semantics of Scc. The full semantic treatment is sketched only and done elsewhere. (full and enlarged version of SOFSEM'01 conference paper). We present a language Scc for a specification of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify in such a way that agents can (i) maintain its local private store, (ii) share (read/write) the information in the global store and (iii) communicate with other agents (via multi-party or hand-shake). To justify our proposal we compare Scc to a recently proposed language for the exchange of information in multi-agent systems. Also we provide an operational semantics of Scc. The full semantic treatment is sketched only and done elsewhere. (full and enlarged version of SOFSEM'01 conference paper). (en) We present a language Scc for a specification of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify in such a way that agents can (i) maintain its local private store, (ii) share (read/write) the information in the global store and (iii) communicate with other agents (via multi-party or hand-shake). To justify our proposal we compare Scc to a recently proposed language for the exchange of information in multi-agent systems. Also we provide an operational semantics of Scc. The full semantic treatment is sketched only and done elsewhere. (full and enlarged version of SOFSEM'01 conference paper). (cs)
Title	Modelling Multi-Agents Systems as Concurrent Constraint Processes Modelling Multi-Agents Systems as Concurrent Constraint Processes (en) Modelling Multi-Agents Systems as Concurrent Constraint Processes (cs)
skos:prefLabel	Modelling Multi-Agents Systems as Concurrent Constraint Processes Modelling Multi-Agents Systems as Concurrent Constraint Processes (en) Modelling Multi-Agents Systems as Concurrent Constraint Processes (cs)
skos:notation	RIV/00216224:14330/03:00008381!RIV08-MSM-14330___
http://linked.open.../vavai/riv/strany	565-590
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/03/1161), Z(MSM 143300001)
http://linked.open...iv/cisloPeriodika	6
http://linked.open...vai/riv/dodaniDat	2008
http://linked.open...aciTvurceVysledku	Brim, Luboš Křetínský, Mojmír
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	615892
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/03:00008381
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	agents; concurrent constraint programming; semantics; synchronny; concurrency (en)
http://linked.open.../riv/klicoveSlovo	semantics agents concurrency synchronny concurrent constraint programming
http://linked.open...odStatuVydavatele	SK - Slovenská republika
http://linked.open...ontrolniKodProRIV	[0446F09CD72E]
http://linked.open...i/riv/nazevZdroje	Computing and Informatics
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Verification of infinite-state systems
http://linked.open...UplatneniVysledku	2003
http://linked.open...v/svazekPeriodika	21
http://linked.open...iv/tvurceVysledku	Brim, Luboš Křetínský, Mojmír Jacquet, Jean-Marie Gilbert, David
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20143300001
issn	1335-9150
number of pages	25 (xsd:int)
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software