Integrating true concurrency into the robot programming language GOLOG

Simple item page
dc.contributor.authorBaier Aranda, Jorge Andrés
dc.contributor.authorPinto, J.
dc.date.accessioned2022-05-16T20:30:53Z
dc.date.available2022-05-16T20:30:53Z
dc.date.issued1999
dc.description.abstractResearch in knowledge representation and theories of action has led to the development of several logical languages to describe the dynamics of the world. One of the most influential languages developed is the situation calculus. Stemming from this research, the situation calculus based programming language, GOLOG, has been proposed as a tool for implementing simulators and controllers of dynamical systems using a repertoire of user specified primitive actions. Lately, this language has been extended in order to incorporate the notion of concurrent action execution, leading to the dialect CONGOLOG, where an interleaving view of concurrent execution is considered. We take this work one step further by introducing true concurrency, defining the language TCONGOLOG. In our view, true concurrency arises when primitive actions can be taken to be executed at the same instant.
dc.fuente.origenIEEE
dc.identifier.doi10.1109/SCCC.1999.810185
dc.identifier.issn1522-4902
dc.identifier.urihttps://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=810185
dc.identifier.urihttps://doi.org/10.1109/SCCC.1999.810185
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/64020
dc.information.autorucEscuela de ingeniería ; Baier Aranda, Jorge Andrés ; S/I ; 9477
dc.language.isoen
dc.nota.accesoContenido parcial
dc.publisherIEEE
dc.relation.ispartofInternational Conference of the Chilean Computer Science Society (19° : 1999 : Talca, Chile)
dc.rightsacceso restringido
dc.subjectConcurrent computing
dc.subjectRobot programming
dc.subjectCalculus
dc.subjectInterleaved codes
dc.subjectComputer languages
dc.subjectKnowledge representation
dc.subjectSpatial databases
dc.subjectLogic
dc.titleIntegrating true concurrency into the robot programming language GOLOGes_ES
dc.typecomunicación de congreso
sipa.codpersvinculados9477
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Integrating true concurrency into the robot programming language GOLOG.pdf
Size:
2.66 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Artículos de conferencia