Go! for Multi-threaded Deliberative Agents
Identifieur interne : 000B71 ( Istex/Corpus ); précédent : 000B70; suivant : 000B72Go! for Multi-threaded Deliberative Agents
Auteurs : L. Clark ; G. MccabeSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2004.
Abstract
Abstract: Go! is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as memory stores. In this paper we introduce the essential features of Go! illustrating them by programming a simple multi-agent application comprising hybrid reactive/deliberative agents interacting in a simulated ballroom. The dancer agents negotiate to enter into joint commitments to dance a particular dance (e.g. polka) they both desire. When the dance is announced, they dance together. An agent’s reactive and deliberative components are concurrently executing threads which communicate and coordinate using belief, desire and intention memory stores. We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.
Url:
DOI: 10.1007/978-3-540-25932-9_4
Links to Exploration step
ISTEX:B38DA02BA867A9D40257609BEE1DB7035868F9B0Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Go! for Multi-threaded Deliberative Agents</title><author><name sortKey="Clark, L" sort="Clark, L" uniqKey="Clark L" first="L." last="Clark">L. Clark</name><affiliation><mods:affiliation>Dept. of Computing, Imperial College, London</mods:affiliation></affiliation></author><author><name sortKey="Mccabe, G" sort="Mccabe, G" uniqKey="Mccabe G" first="G." last="Mccabe">G. Mccabe</name><affiliation><mods:affiliation>Fujitsu Labs of America, Sunnuvale, CA</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:B38DA02BA867A9D40257609BEE1DB7035868F9B0</idno><date when="2004" year="2004">2004</date><idno type="doi">10.1007/978-3-540-25932-9_4</idno><idno type="url">https://api.istex.fr/document/B38DA02BA867A9D40257609BEE1DB7035868F9B0/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000B71</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Go! for Multi-threaded Deliberative Agents</title><author><name sortKey="Clark, L" sort="Clark, L" uniqKey="Clark L" first="L." last="Clark">L. Clark</name><affiliation><mods:affiliation>Dept. of Computing, Imperial College, London</mods:affiliation></affiliation></author><author><name sortKey="Mccabe, G" sort="Mccabe, G" uniqKey="Mccabe G" first="G." last="Mccabe">G. Mccabe</name><affiliation><mods:affiliation>Fujitsu Labs of America, Sunnuvale, CA</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2004</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno></series><idno type="istex">B38DA02BA867A9D40257609BEE1DB7035868F9B0</idno><idno type="DOI">10.1007/978-3-540-25932-9_4</idno><idno type="ChapterID">Chap4</idno><idno type="ChapterID">4</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Go! is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as memory stores. In this paper we introduce the essential features of Go! illustrating them by programming a simple multi-agent application comprising hybrid reactive/deliberative agents interacting in a simulated ballroom. The dancer agents negotiate to enter into joint commitments to dance a particular dance (e.g. polka) they both desire. When the dance is announced, they dance together. An agent’s reactive and deliberative components are concurrently executing threads which communicate and coordinate using belief, desire and intention memory stores. We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.</div></front></TEI><istex><corpusName>springer</corpusName><author><json:item><name>Keith L. Clark</name><affiliations><json:string>Dept. of Computing, Imperial College, London</json:string></affiliations></json:item><json:item><name>Frank G. McCabe</name><affiliations><json:string>Fujitsu Labs of America, Sunnuvale, CA</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><abstract>Abstract: Go! is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as memory stores. In this paper we introduce the essential features of Go! illustrating them by programming a simple multi-agent application comprising hybrid reactive/deliberative agents interacting in a simulated ballroom. The dancer agents negotiate to enter into joint commitments to dance a particular dance (e.g. polka) they both desire. When the dance is announced, they dance together. An agent’s reactive and deliberative components are concurrently executing threads which communicate and coordinate using belief, desire and intention memory stores. We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.</abstract><qualityIndicators><score>7.112</score><pdfVersion>1.3</pdfVersion><pdfPageSize>430 x 660 pts</pdfPageSize><refBibsNative>false</refBibsNative><keywordCount>0</keywordCount><abstractCharCount>1260</abstractCharCount><pdfWordCount>7474</pdfWordCount><pdfCharCount>45996</pdfCharCount><pdfPageCount>22</pdfPageCount><abstractWordCount>176</abstractWordCount></qualityIndicators><title>Go! for Multi-threaded Deliberative Agents</title><genre><json:string>Book Chapter</json:string></genre><serie><editor><json:item><name>Gerhard Goos</name><affiliations><json:string>Karlsruhe University, Germany</json:string></affiliations></json:item><json:item><name>Juris Hartmanis</name><affiliations><json:string>Cornell University, NY, USA</json:string></affiliations></json:item><json:item><name>Jan van Leeuwen</name><affiliations><json:string>Utrecht University, The Netherlands</json:string></affiliations></json:item></editor><issn><json:string>0302-9743</json:string></issn><genre><json:string>book series</json:string></genre><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Lecture Notes in Computer Science</title><copyrightDate>2004</copyrightDate></serie><host><volume>2990</volume><editor><json:item><name>João Leite</name><affiliations><json:string>Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal</json:string><json:string>E-mail: jleite@di.fct.unl.pt</json:string></affiliations></json:item><json:item><name>Andrea Omicini</name><affiliations><json:string>Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy</json:string><json:string>E-mail: andrea.omicini@unibo.it</json:string></affiliations></json:item><json:item><name>Leon Sterling</name><affiliations><json:string>Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic, Australia</json:string><json:string>E-mail: leon@csse.unimelb.edu.au</json:string></affiliations></json:item><json:item><name>Paolo Torroni</name><affiliations><json:string>DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy</json:string><json:string>E-mail: ptorroni@deis.unibo.it</json:string></affiliations></json:item></editor><pages><last>75</last><first>54</first></pages><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Artificial Intelligence (incl. Robotics)</value></json:item><json:item><value>Software Engineering</value></json:item><json:item><value>Computer Communication Networks</value></json:item><json:item><value>Programming Languages, Compilers, Interpreters</value></json:item></subject><isbn><json:string>978-3-540-22124-1</json:string></isbn><genre><json:string>book series</json:string></genre><language><json:string>unknown</json:string></language><eisbn><json:string>978-3-540-25932-9</json:string></eisbn><title>Declarative Agent Languages and Technologies</title><copyrightDate>2004</copyrightDate><doi><json:string>10.1007/b97923</json:string></doi></host><copyrightDate>2004</copyrightDate><doi><json:string>10.1007/978-3-540-25932-9_4</json:string></doi><id>B38DA02BA867A9D40257609BEE1DB7035868F9B0</id><fulltext><json:item><original>true</original><mimetype>application/pdf</mimetype><extension>pdf</extension><uri>https://api.istex.fr/document/B38DA02BA867A9D40257609BEE1DB7035868F9B0/fulltext/pdf</uri></json:item><json:item><original>false</original><mimetype>application/zip</mimetype><extension>zip</extension><uri>https://api.istex.fr/document/B38DA02BA867A9D40257609BEE1DB7035868F9B0/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/B38DA02BA867A9D40257609BEE1DB7035868F9B0/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Go! for Multi-threaded Deliberative Agents</title><respStmt xml:id="ISTEX-API" resp="Références bibliographiques récupérées via GROBID" name="ISTEX-API (INIST-CNRS)"></respStmt></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date>2004</date></publicationStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Go! for Multi-threaded Deliberative Agents</title><author><persName><forename type="first">Keith</forename><surname>Clark</surname></persName><affiliation>Dept. of Computing, Imperial College, London</affiliation></author><author><persName><forename type="first">Frank</forename><surname>McCabe</surname></persName><affiliation>Fujitsu Labs of America, Sunnuvale, CA</affiliation></author></analytic><monogr><title level="m">Declarative Agent Languages and Technologies</title><title level="m" type="sub">First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers</title><idno type="pISBN">978-3-540-22124-1</idno><idno type="eISBN">978-3-540-25932-9</idno><idno type="DOI">10.1007/b97923</idno><idno type="BookID">978-3-540-25932-9</idno><idno type="BookTitleID">82688</idno><idno type="BookSequenceNumber">2990</idno><idno type="BookVolumeNumber">2990</idno><idno type="BookChapterCount">14</idno><editor><persName><forename type="first">João</forename><surname>Leite</surname></persName><email>jleite@di.fct.unl.pt</email><affiliation>Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal</affiliation></editor><editor><persName><forename type="first">Andrea</forename><surname>Omicini</surname></persName><email>andrea.omicini@unibo.it</email><affiliation>Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy</affiliation></editor><editor><persName><forename type="first">Leon</forename><surname>Sterling</surname></persName><email>leon@csse.unimelb.edu.au</email><affiliation>Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic, Australia</affiliation></editor><editor><persName><forename type="first">Paolo</forename><surname>Torroni</surname></persName><email>ptorroni@deis.unibo.it</email><affiliation>DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy</affiliation></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date>2004</date><biblScope unit="volume">2990</biblScope><biblScope unit="page" from="54">54</biblScope><biblScope unit="page" to="75">75</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><editor><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName><affiliation>Karlsruhe University, Germany</affiliation></editor><editor><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName><affiliation>Cornell University, NY, USA</affiliation></editor><editor><persName><forename type="first">Jan</forename><surname>van Leeuwen</surname></persName><affiliation>Utrecht University, The Netherlands</affiliation></editor><biblScope><date>2004</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="seriesId">558</idno></series><series><title level="s">Lecture Notes in Artificial Intelligence</title><editor><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName><affiliation>Karlsruhe University, Germany</affiliation></editor><editor><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName><affiliation>Cornell University, NY, USA</affiliation></editor><editor><persName><forename type="first">Jan</forename><surname>van Leeuwen</surname></persName><affiliation>Utrecht University, The Netherlands</affiliation></editor><editor><persName><forename type="first">Jaime</forename><forename type="first">G.</forename><surname>Carbonell</surname></persName><affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation></editor><editor><persName><forename type="first">Jörg</forename><surname>Siekmann</surname></persName><affiliation>University of Saarland, Saarbrücken, Germany</affiliation></editor><editor><persName><forename type="first">João</forename><surname>Leite</surname></persName><email>jleite@di.fct.unl.pt</email><affiliation>Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal</affiliation></editor><editor><persName><forename type="first">Andrea</forename><surname>Omicini</surname></persName><email>andrea.omicini@unibo.it</email><affiliation>Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy</affiliation></editor><editor><persName><forename type="first">Leon</forename><surname>Sterling</surname></persName><email>leon@csse.unimelb.edu.au</email><affiliation>Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic, Australia</affiliation></editor><editor><persName><forename type="first">Paolo</forename><surname>Torroni</surname></persName><email>ptorroni@deis.unibo.it</email><affiliation>DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy</affiliation></editor><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><biblScope type="seriesId">1244</biblScope></series><idno type="istex">B38DA02BA867A9D40257609BEE1DB7035868F9B0</idno><idno type="DOI">10.1007/978-3-540-25932-9_4</idno><idno type="ChapterID">Chap4</idno><idno type="ChapterID">4</idno></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>2004</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: Go! is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as memory stores. In this paper we introduce the essential features of Go! illustrating them by programming a simple multi-agent application comprising hybrid reactive/deliberative agents interacting in a simulated ballroom. The dancer agents negotiate to enter into joint commitments to dance a particular dance (e.g. polka) they both desire. When the dance is announced, they dance together. An agent’s reactive and deliberative components are concurrently executing threads which communicate and coordinate using belief, desire and intention memory stores. We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.</p></abstract><textClass><keywords scheme="Book Subject Collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass><keywords scheme="Book Subject Group"><list><label>I</label><label>I21017</label><label>I14029</label><label>I13022</label><label>I14037</label><item><term>Computer Science</term></item><item><term>Artificial Intelligence (incl. Robotics)</term></item><item><term>Software Engineering</term></item><item><term>Computer Communication Networks</term></item><item><term>Programming Languages, Compilers, Interpreters</term></item></list></keywords></textClass></profileDesc><revisionDesc><change>undefined</change><change>[object Object]</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><original>false</original><mimetype>text/plain</mimetype><extension>txt</extension><uri>https://api.istex.fr/document/B38DA02BA867A9D40257609BEE1DB7035868F9B0/fulltext/txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Juris</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Jan</GivenName><Particle>van</Particle><FamilyName>Leeuwen</FamilyName></EditorName></Editor><Affiliation ID="Aff1"><OrgName>Karlsruhe University</OrgName><OrgAddress><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>Cornell University</OrgName><OrgAddress><State>NY</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>Utrecht University</OrgName><OrgAddress><Country>The Netherlands</Country></OrgAddress></Affiliation></EditorGroup></SeriesHeader><SubSeries><SubSeriesInfo><SubSeriesID>1244</SubSeriesID><SubSeriesPrintISSN>0302-9743</SubSeriesPrintISSN><SubSeriesElectronicISSN>1611-3349</SubSeriesElectronicISSN><SubSeriesTitle Language="En">Lecture Notes in Artificial Intelligence</SubSeriesTitle></SubSeriesInfo><SubSeriesHeader><EditorGroup><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Jaime</GivenName><GivenName>G.</GivenName><FamilyName>Carbonell</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Jörg</GivenName><FamilyName>Siekmann</FamilyName></EditorName></Editor><Affiliation ID="Aff4"><OrgName>Carnegie Mellon University</OrgName><OrgAddress><City>Pittsburgh</City><State>PA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff5"><OrgName>University of Saarland</OrgName><OrgAddress><City>Saarbrücken</City><Country>Germany</Country></OrgAddress></Affiliation></EditorGroup></SubSeriesHeader></SubSeries><Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingDepth="2" NumberingStyle="ContentOnly" OutputMedium="All" TocLevels="0"><BookID>978-3-540-25932-9</BookID><BookTitle>Declarative Agent Languages and Technologies</BookTitle><BookSubTitle>First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers</BookSubTitle><BookVolumeNumber>2990</BookVolumeNumber><BookSequenceNumber>2990</BookSequenceNumber><BookDOI>10.1007/b97923</BookDOI><BookTitleID>82688</BookTitleID><BookPrintISBN>978-3-540-22124-1</BookPrintISBN><BookElectronicISBN>978-3-540-25932-9</BookElectronicISBN><BookChapterCount>14</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2004</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I21017" Priority="1" Type="Secondary">Artificial Intelligence (incl. Robotics)</BookSubject><BookSubject Code="I14029" Priority="2" Type="Secondary">Software Engineering</BookSubject><BookSubject Code="I13022" Priority="3" Type="Secondary">Computer Communication Networks</BookSubject><BookSubject Code="I14037" Priority="4" Type="Secondary">Programming Languages, Compilers, Interpreters</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup><BookContext><SeriesID>558</SeriesID><SubSeriesID>1244</SubSeriesID></BookContext></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff6"><EditorName DisplayOrder="Western"><GivenName>João</GivenName><FamilyName>Leite</FamilyName></EditorName><Contact><Email>jleite@di.fct.unl.pt</Email></Contact></Editor><Editor AffiliationIDS="Aff7"><EditorName DisplayOrder="Western"><GivenName>Andrea</GivenName><FamilyName>Omicini</FamilyName></EditorName><Contact><Email>andrea.omicini@unibo.it</Email></Contact></Editor><Editor AffiliationIDS="Aff8"><EditorName DisplayOrder="Western"><GivenName>Leon</GivenName><FamilyName>Sterling</FamilyName></EditorName><Contact><Email>leon@csse.unimelb.edu.au</Email></Contact></Editor><Editor AffiliationIDS="Aff9"><EditorName DisplayOrder="Western"><GivenName>Paolo</GivenName><FamilyName>Torroni</FamilyName></EditorName><Contact><Email>ptorroni@deis.unibo.it</Email></Contact></Editor><Affiliation ID="Aff6"><OrgDivision>Departamento de Informática</OrgDivision><OrgName>Universidade Nova de Lisboa</OrgName><OrgAddress><Postcode>2829-516</Postcode><City>Caparica</City><Country>Portugal</Country></OrgAddress></Affiliation><Affiliation ID="Aff7"><OrgName>Alma Mater Studiorum Università di Bologna a Cesena</OrgName><OrgAddress><Street>via Venezia 52</Street><Postcode>47023</Postcode><City>Cesena</City><Country>Italy</Country></OrgAddress></Affiliation><Affiliation ID="Aff8"><OrgDivision>Department of Computer Science and Software Engineering</OrgDivision><OrgName>The University of Melbourne</OrgName><OrgAddress><Postcode>3010</Postcode><State>Vic</State><Country>Australia</Country></OrgAddress></Affiliation><Affiliation ID="Aff9"><OrgDivision>DEIS</OrgDivision><OrgName>University of Bologna</OrgName><OrgAddress><Street>V.le Risorgimento 2</Street><Postcode>40136</Postcode><City>Bologna</City><Country>Italy</Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Chapter ID="Chap4" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingDepth="2" NumberingStyle="ContentOnly" TocLevels="0"><ChapterID>4</ChapterID><ChapterDOI>10.1007/978-3-540-25932-9_4</ChapterDOI><ChapterSequenceNumber>4</ChapterSequenceNumber><ChapterTitle Language="En">Go! for Multi-threaded Deliberative Agents</ChapterTitle><ChapterFirstPage>54</ChapterFirstPage><ChapterLastPage>75</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2004</CopyrightYear></ChapterCopyright><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><BookID>978-3-540-25932-9</BookID><BookTitle>Declarative Agent Languages and Technologies</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff10"><AuthorName DisplayOrder="Western"><GivenName>Keith</GivenName><GivenName>L.</GivenName><FamilyName>Clark</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff11"><AuthorName DisplayOrder="Western"><GivenName>Frank</GivenName><GivenName>G.</GivenName><FamilyName>McCabe</FamilyName></AuthorName></Author><Affiliation ID="Aff10"><OrgDivision>Dept. of Computing</OrgDivision><OrgName>Imperial College</OrgName><OrgAddress><City>London</City></OrgAddress></Affiliation><Affiliation ID="Aff11"><OrgName>Fujitsu Labs of America</OrgName><OrgAddress><City>Sunnuvale</City><State>CA</State></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para><Literal>Go!</Literal> is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as memory stores.</Para><Para>In this paper we introduce the essential features of <Literal>Go!</Literal> illustrating them by programming a simple multi-agent application comprising hybrid reactive/deliberative agents interacting in a simulated ballroom. The dancer agents negotiate to enter into joint commitments to dance a particular dance (e.g. polka) they both desire. When the dance is announced, they dance together. An agent’s reactive and deliberative components are concurrently executing threads which communicate and coordinate using belief, desire and intention memory stores. We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which <Literal>Go!</Literal> is well suited.</Para></Abstract></ChapterHeader><NoBody></NoBody></Chapter></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Go! for Multi-threaded Deliberative Agents</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>Go! for Multi-threaded Deliberative Agents</title></titleInfo><name type="personal"><namePart type="given">Keith</namePart><namePart type="given">L.</namePart><namePart type="family">Clark</namePart><affiliation>Dept. of Computing, Imperial College, London</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Frank</namePart><namePart type="given">G.</namePart><namePart type="family">McCabe</namePart><affiliation>Fujitsu Labs of America, Sunnuvale, CA</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="Book Chapter">OriginalPaper</genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><copyrightDate encoding="w3cdtf">2004</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><internetMediaType>text/html</internetMediaType></physicalDescription><abstract lang="en">Abstract: Go! is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as memory stores. In this paper we introduce the essential features of Go! illustrating them by programming a simple multi-agent application comprising hybrid reactive/deliberative agents interacting in a simulated ballroom. The dancer agents negotiate to enter into joint commitments to dance a particular dance (e.g. polka) they both desire. When the dance is announced, they dance together. An agent’s reactive and deliberative components are concurrently executing threads which communicate and coordinate using belief, desire and intention memory stores. We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.</abstract><relatedItem type="host"><titleInfo><title>Declarative Agent Languages and Technologies</title><subTitle>First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers</subTitle></titleInfo><name type="personal"><namePart type="given">João</namePart><namePart type="family">Leite</namePart><affiliation>Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal</affiliation><affiliation>E-mail: jleite@di.fct.unl.pt</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Andrea</namePart><namePart type="family">Omicini</namePart><affiliation>Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy</affiliation><affiliation>E-mail: andrea.omicini@unibo.it</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Leon</namePart><namePart type="family">Sterling</namePart><affiliation>Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic, Australia</affiliation><affiliation>E-mail: leon@csse.unimelb.edu.au</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Paolo</namePart><namePart type="family">Torroni</namePart><affiliation>DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy</affiliation><affiliation>E-mail: ptorroni@deis.unibo.it</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book series">Proceedings</genre><originInfo><copyrightDate encoding="w3cdtf">2004</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book Subject Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book Subject Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I21017">Artificial Intelligence (incl. Robotics)</topic><topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic><topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic><topic authority="SpringerSubjectCodes" authorityURI="I14037">Programming Languages, Compilers, Interpreters</topic></subject><identifier type="DOI">10.1007/b97923</identifier><identifier type="ISBN">978-3-540-22124-1</identifier><identifier type="eISBN">978-3-540-25932-9</identifier><identifier type="BookTitleID">82688</identifier><identifier type="BookID">978-3-540-25932-9</identifier><identifier type="BookChapterCount">14</identifier><identifier type="BookVolumeNumber">2990</identifier><identifier type="BookSequenceNumber">2990</identifier><part><date>2004</date><detail type="volume"><number>2990</number><caption>vol.</caption></detail><extent unit="pages"><start>54</start><end>75</end></extent></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2004</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Goos</namePart><affiliation>Karlsruhe University, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><affiliation>Cornell University, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jan</namePart><namePart type="family">van Leeuwen</namePart><affiliation>Utrecht University, The Netherlands</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book series">series</genre><originInfo><copyrightDate encoding="w3cdtf">2004</copyrightDate><issuance>serial</issuance></originInfo><relatedItem type="constituent"><titleInfo><title>Lecture Notes in Artificial Intelligence</title></titleInfo><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Goos</namePart><affiliation>Karlsruhe University, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><affiliation>Cornell University, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jan</namePart><namePart type="family">van Leeuwen</namePart><affiliation>Utrecht University, The Netherlands</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jaime</namePart><namePart type="given">G.</namePart><namePart type="family">Carbonell</namePart><affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jörg</namePart><namePart type="family">Siekmann</namePart><affiliation>University of Saarland, Saarbrücken, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">João</namePart><namePart type="family">Leite</namePart><affiliation>Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal</affiliation><affiliation>E-mail: jleite@di.fct.unl.pt</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Andrea</namePart><namePart type="family">Omicini</namePart><affiliation>Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy</affiliation><affiliation>E-mail: andrea.omicini@unibo.it</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Leon</namePart><namePart type="family">Sterling</namePart><affiliation>Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic, Australia</affiliation><affiliation>E-mail: leon@csse.unimelb.edu.au</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Paolo</namePart><namePart type="family">Torroni</namePart><affiliation>DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy</affiliation><affiliation>E-mail: ptorroni@deis.unibo.it</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre>sub-series</genre><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SubSeriesID">1244</identifier></relatedItem><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2004</recordOrigin></recordInfo></relatedItem><identifier type="istex">B38DA02BA867A9D40257609BEE1DB7035868F9B0</identifier><identifier type="DOI">10.1007/978-3-540-25932-9_4</identifier><identifier type="ChapterID">Chap4</identifier><identifier type="ChapterID">4</identifier><accessCondition type="use and reproduction" contentType="Copyright">Springer-Verlag Berlin Heidelberg</accessCondition><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2004</recordOrigin></recordInfo></mods></metadata><enrichments><istex:refBibTEI uri="https://api.istex.fr/document/B38DA02BA867A9D40257609BEE1DB7035868F9B0/enrichments/refBib"><teiHeader></teiHeader><text><front></front><body></body><back><listBibl><biblStruct xml:id="b0"><monogr><title level="m" type="main">N-1)); intention.add(toDanceWith(D,FNm)) | sorry << FNgtTh -> {} --female has declined | willYouDance(D2)::uncmtdDesire(toDance(D2,N2))) << FNgtTh -> --a counter-proposal to dance D2 accepted since uncom. des. intention.add(toDanceWith(D2,FNm)); desire.replace(toDance(D2,N2),toDance(D2,N2-1)); okDance(D2) >> FNgtTh | willYouDance(D2) << FNgtTh -> --to dance D2 not an uncom. des., must counter-propose counterPPrevDs]) | barWhen(D2)::uncmtdDesire(BarWhen(D2)) << FNgtTh -> --a counter-proposal to go to the bar D2 accepted intention</title><author><persName><forename type="first">D</forename></persName></author><author><persName><forename type="first">N</forename><surname>Fnm</surname></persName></author><author><persName><forename type="first">Prevds )-> Willyoudance ( D ) >></forename><surname>Fngtth</surname></persName></author><author><persName><surname>Fngtth</surname></persName></author><imprint><pubPlace>FNm,FNgtTh,[D,D2,.</pubPlace></imprint></monogr><note>add. (toBarWhen(D2,FNm)); desire.del(BarWhen(D2)); okBar(D2) >> FNgtTh | barWhen(D2) << FNgtTh -> --to go to the bar when D2 not an uncom. des., counter-propose counterP(FNm,FNgtTh,[D,D2,..PrevDs]) )</note></biblStruct><biblStruct xml:id="b1"><analytic><title level="a" type="main">\+(D in PrevDs))-> --continue with a proposal to do a new dance ngtOverDance</title><author><persName><surname>Fnm</surname></persName></author></analytic><monogr><title level="m">FNm)</title><meeting><address><addrLine>FNgtTh,PrevDs ; D,N,FNm,FNgtTh,PrevDs</addrLine></address></meeting><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b2"><analytic><title level="a" type="main">April -Agent PRocess Interaction Language</title><author><persName><forename type="first">F</forename><surname>Mccabe</surname></persName></author><author><persName><forename type="first">K</forename><surname>Clark</surname></persName></author></analytic><monogr><title level="m">Intelligent Agents, LNAI</title><editor>Jennings, N., Wooldridge, M.</editor><imprint><publisher>Springer-Verlag</publisher><date type="published" when="1995"></date><biblScope unit="page" from="324" to="340"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b3"><analytic><title level="a" type="main">IC-Prolog II: a multi-threaded Prolog system</title><author><persName><forename type="first">D</forename><surname>Chu</surname></persName></author><author><persName><forename type="first">K</forename><forename type="middle">L</forename><surname>Clark</surname></persName></author></analytic><monogr><title level="m">Proceedings of the ICLP'93 Workshop on Concurrent & Parallel Implementations of Logic Programming Systems</title><editor>Succi, G., Colla, G.</editor><meeting>the ICLP'93 Workshop on Concurrent & Parallel Implementations of Logic Programming Systems</meeting><imprint><date type="published" when="1993"></date><biblScope unit="page" from="115" to="141"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b4"><monogr><title level="m" type="main">L&O: Logic and Objects</title><author><persName><forename type="first">F</forename><surname>Mccabe</surname></persName></author><imprint><date type="published" when="1992"></date><publisher>Prentice-Hall International</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b5"><analytic><title level="a" type="main">Co-operative agents: Concepts and applications</title><author><persName><forename type="first">H</forename><surname>Haugeneder</surname></persName></author><author><persName><forename type="first">D</forename><surname>Steiner</surname></persName></author></analytic><monogr><title level="m">Agent Technology</title><editor>Jennings, N.R., Wooldridge, M.J.</editor><imprint><publisher>Springer-Verlag</publisher><date type="published" when="1998"></date><biblScope unit="page" from="175" to="202"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b6"><analytic><title level="a" type="main">Agentcities: A Worldwide Open Agent Network</title><author><persName><forename type="first">S</forename><forename type="middle">N</forename><surname>Willmott</surname></persName></author><author><persName><forename type="first">J</forename><surname>Dale</surname></persName></author><author><persName><forename type="first">B</forename><surname>Burg</surname></persName></author><author><persName><forename type="first">C</forename><surname>Charlton</surname></persName></author><author><persName><forename type="first">P</forename><surname>O 'brien</surname></persName></author></analytic><monogr><title level="j">Agentlink News</title><imprint><biblScope unit="page" from="13" to="15"></biblScope><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b7"><analytic><title level="a" type="main">A theory of type polymorphism in programming</title><author><persName><forename type="first">R</forename><surname>Milner</surname></persName></author></analytic><monogr><title level="j">Computer and System Sciences</title><imprint><biblScope unit="volume">17</biblScope><biblScope unit="page" from="348" to="375"></biblScope><date type="published" when="1978"></date></imprint></monogr></biblStruct><biblStruct xml:id="b8"><monogr><title level="m" type="main">A framework for representing knowledge Psychology of Computer Vision</title><author><persName><forename type="first">M</forename><surname>Minsky</surname></persName></author><editor>Winston, P.</editor><imprint><date type="published" when="1975"></date><publisher>MIT Press</publisher><biblScope unit="page" from="211" to="277"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b9"><analytic><title level="a" type="main">Go! – a multi-paradigm programming language for implementing multi-threaded agents</title><author><persName><forename type="first">K</forename><surname>Clark</surname></persName></author><author><persName><forename type="first">F</forename><surname>Mccabe</surname></persName></author></analytic><monogr><title level="j">Annals of Mathematics and Artificial Intelligence</title><imprint><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b10"><analytic><title level="a" type="main">Plans and resource bounded practical reasoning</title><author><persName><forename type="first">M</forename><forename type="middle">E</forename><surname>Bratman</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">J</forename><surname>Israel</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">E</forename><surname>Pollack</surname></persName></author></analytic><monogr><title level="j">Computational Intelligence</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="page" from="349" to="355"></biblScope><date type="published" when="1988"></date></imprint></monogr></biblStruct><biblStruct xml:id="b11"><analytic><title level="a" type="main">Linda in context</title><author><persName><forename type="first">N</forename><surname>Carriero</surname></persName></author><author><persName><forename type="first">D</forename><surname>Gelernter</surname></persName></author></analytic><monogr><title level="j">Communications of the ACM</title><imprint><biblScope unit="volume">32</biblScope><biblScope unit="page" from="444" to="458"></biblScope><date type="published" when="1989"></date></imprint></monogr></biblStruct><biblStruct xml:id="b12"><analytic><title level="a" type="main">Coordination for internet application development</title><author><persName><forename type="first">A</forename><surname>Omicini</surname></persName></author><author><persName><forename type="first">F</forename><surname>Zambonelli</surname></persName></author></analytic><monogr><title level="j">Autonomous Agents and Multi-agent systems</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="page" from="251" to="269"></biblScope><date type="published" when="1999"></date></imprint></monogr></biblStruct><biblStruct xml:id="b13"><analytic><title level="a" type="main">KQML as an agent communication language</title><author><persName><forename type="first">T</forename><surname>Finin</surname></persName></author><author><persName><forename type="first">R</forename><surname>Fritzson</surname></persName></author><author><persName><forename type="first">D</forename><surname>Mckay</surname></persName></author><author><persName><forename type="first">R</forename><surname>Mcentire</surname></persName></author></analytic><monogr><title level="m">Proceedings 3rd International Conference on Information and Knowledge Management</title><meeting>3rd International Conference on Information and Knowledge Management</meeting><imprint><date type="published" when="1994"></date></imprint></monogr></biblStruct><biblStruct xml:id="b14"><monogr><title level="m" type="main">Concurrent Programming in Erlang</title><author><persName><forename type="first">J</forename><surname>Armstrong</surname></persName></author><author><persName><forename type="first">R</forename><surname>Virding</surname></persName></author><author><persName><forename type="first">M</forename><surname>Williams</surname></persName></author><imprint><date type="published" when="1993"></date><publisher>Prentice-Hall International</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b15"><analytic><title level="a" type="main">Definite clause grammars compared with augmented transition network</title><author><persName><forename type="first">F</forename><surname>Pereira</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">H</forename><surname>Warren</surname></persName></author></analytic><monogr><title level="j">Artificial Intelligence</title><imprint><biblScope unit="volume">13</biblScope><biblScope unit="page" from="231" to="278"></biblScope><date type="published" when="1980"></date></imprint></monogr></biblStruct><biblStruct xml:id="b16"><analytic><title level="a" type="main">Ontology representation and inference in Go</title><author><persName><forename type="first">K</forename><surname>Clark</surname></persName></author><author><persName><forename type="first">F</forename><surname>Mccabe</surname></persName></author></analytic><monogr><title level="j">Dept. of Computing, Imperial College</title><imprint><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b17"><analytic><title level="a" type="main">An abstract architecture for rational agents</title><author><persName><forename type="first">A</forename><forename type="middle">S</forename><surname>Roa</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">P</forename><surname>Georgeff</surname></persName></author></analytic><monogr><title level="m">Proceedings of Knowledge Representation and Reasoning (KR&R92)</title><meeting>Knowledge Representation and Reasoning (KR&R92)</meeting><imprint><date type="published" when="1992"></date><biblScope unit="page" from="349" to="349"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b18"><analytic><title></title><author><persName><forename type="first">K</forename><forename type="middle">L</forename><surname>Clark</surname></persName></author><author><persName><forename type="first">P</forename><forename type="middle">J</forename><surname>Robinson</surname></persName></author><author><persName><forename type="first">R</forename><surname>Hagen</surname></persName></author></analytic><monogr><title level="m">Multi-threading and message communication in Qu-Prolog</title><imprint><date type="published" when="2001"></date><biblScope unit="page" from="283" to="301"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b19"><analytic><title level="a" type="main">Mobile Threads through First Order Continuations</title><author><persName><forename type="first">P</forename><surname>Tarau</surname></persName></author><author><persName><forename type="first">V</forename><surname>Dahl</surname></persName></author></analytic><monogr><title level="m">Proceedings of APPAI-GULP-PRODE'98</title><meeting>APPAI-GULP-PRODE'98<address><addrLine>Coruna, Spain</addrLine></address></meeting><imprint><date type="published" when="1998"></date></imprint></monogr></biblStruct><biblStruct xml:id="b20"><analytic><title level="a" type="main">Concurrency in Prolog using Threads and a Shared Database</title><author><persName><forename type="first">M</forename><surname>Carro</surname></persName></author><author><persName><forename type="first">M</forename><surname>Hermenegildo</surname></persName></author></analytic><monogr><title level="m">Proceedings of ICLP99</title><editor>Schreye, D.D.</editor><meeting>ICLP99</meeting><imprint><publisher>MIT Press</publisher><date type="published" when="1999"></date><biblScope unit="page" from="320" to="334"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b21"><analytic><title level="a" type="main">Sicstus MT -a multithreaded execution environment for SICStus Prolog</title><author><persName><forename type="first">J</forename><surname>Eskilson</surname></persName></author><author><persName><forename type="first">M</forename><surname>Carlsson</surname></persName></author></analytic><monogr><title level="m">Principles of Declarative Programming</title><editor>Catuscia Palamidessi, Hugh Glaser, K.M.</editor><imprint><publisher>Springer-Verlag</publisher><date type="published" when="1998"></date><biblScope unit="page" from="36" to="53"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b22"><analytic><title level="a" type="main">Mozart: A programming system for agent applications</title><author><persName><forename type="first">P</forename><surname>Van Roy</surname></persName></author><author><persName><forename type="first">S</forename><surname>Haridi</surname></persName></author></analytic><monogr><title level="m">International Workshop on Distributed and Internet Programming with Logic and Constraint Languages Part of International Conference on Logic Programming</title><imprint><date type="published" when="1999"></date></imprint></monogr><note>ICLP. 99</note></biblStruct><biblStruct xml:id="b23"><analytic><title level="a" type="main">Mercury: an efficient purely declarative logic programming language</title><author><persName><forename type="first">Zoltan</forename><surname>Somogyi</surname></persName></author><author><persName><forename type="first">F</forename><forename type="middle">H</forename><surname>Conway</surname></persName></author><author><persName><forename type="first">T</forename></persName></author></analytic><monogr><title level="m">Proceedings of the Australian Computer Science Conference</title><meeting>the Australian Computer Science Conference</meeting><imprint><date type="published" when="1995"></date><biblScope unit="page" from="499" to="512"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b24"><analytic><title level="a" type="main">Programming in an integrated functional and logic programming language</title><author><persName><forename type="first">J</forename><forename type="middle">W</forename><surname>Lloyd</surname></persName></author></analytic><monogr><title level="j">Journal of Functional and Logic Programming</title><imprint><biblScope unit="page" from="1" to="49"></biblScope><date type="published" when="1999"></date></imprint></monogr></biblStruct><biblStruct xml:id="b25"><analytic><title level="a" type="main">A unified computation model for functional and logic programming</title><author><persName><forename type="first">M</forename><surname>Hanus</surname></persName></author></analytic><monogr><title level="m">Proc. 24st ACM Symposium on Principles of Programming Languages (POPL'97</title><meeting>. 24st ACM Symposium on Principles of Programming Languages (POPL'97</meeting><imprint><date type="published" when="1997"></date><biblScope unit="page" from="80" to="93"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b26"><monogr><title level="m" type="main">Interaction and concurrency in a declarative programming language</title><author><persName><forename type="first">J</forename><surname>Lloyd</surname></persName></author><imprint><date type="published" when="1988"></date><pubPlace>London</pubPlace></imprint></monogr><note>Unpublished. report</note></biblStruct><biblStruct xml:id="b27"><monogr><title level="m" type="main">A survey of concurrent MetateM-the language and its applications Temporal Logic</title><author><persName><forename type="first">M</forename><surname>Fisher</surname></persName></author><editor>Gabbay, D., Ohlbach, H.</editor><imprint><date type="published" when="1994"></date><publisher>Springer-Verlag LNAI</publisher><biblScope unit="page" from="480" to="505"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b28"><analytic><title level="a" type="main">A logic programming language for multi-agent systems</title><author><persName><forename type="first">S</forename><surname>Constantini</surname></persName></author><author><persName><forename type="first">A</forename><surname>Tocchio</surname></persName></author></analytic><monogr><title level="m">Proc. JELIA02 -8th European Conf. on Logics in AI</title><meeting>. JELIA02 -8th European Conf. on Logics in AI</meeting><imprint><publisher>Springer-Verlag LNAI</publisher><date type="published" when="2002"></date><biblScope unit="page" from="1" to="13"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b29"><analytic><title level="a" type="main">VIP:A visual programming language for plan execution systems</title><author><persName><forename type="first">D</forename><surname>Kinny</surname></persName></author></analytic><monogr><title level="m">1st International Joint Conf. Autonomous Agents and Multi-agent Systems</title><imprint><publisher>ACM Press</publisher><date type="published" when="2002"></date><biblScope unit="page" from="721" to="728"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b30"><analytic><title level="a" type="main">AgentSpeak(L): BDI agents speak out in a logical computable language</title><author><persName><forename type="first">A</forename><forename type="middle">S</forename><surname>Roa</surname></persName></author></analytic><monogr><title level="m">Agents Breaking Away. LNAI 1038</title><imprint><publisher>Springer-Verlag</publisher><date type="published" when="1996"></date><biblScope unit="page" from="42" to="55"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b31"><analytic><title level="a" type="main">Formal semantics for an abstract agent programming language</title><author><persName><forename type="first">K</forename><forename type="middle">V</forename><surname>Hindriks</surname></persName></author><author><persName><forename type="first">F</forename><forename type="middle">S</forename><surname>De Boer</surname></persName></author><author><persName><forename type="first">W</forename><surname>Van Der Hoek</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">J C</forename><surname>Meyer</surname></persName></author></analytic><monogr><title level="m">Intelligent Agents IV. LNAI</title><editor>Singh, Rao, Wooldridge</editor><imprint><publisher>Springer-Verlag</publisher><date type="published" when="1997"></date><biblScope unit="page" from="215" to="230"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b32"><analytic><title level="a" type="main">Minerva-A dynamic logic prorgamming agent architecture</title><author><persName><forename type="first">J</forename><forename type="middle">A</forename><surname>Leite</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">J</forename><surname>Alferes</surname></persName></author><author><persName><forename type="first">L</forename><forename type="middle">M</forename><surname>Pereira</surname></persName></author></analytic><monogr><title level="m">Intelligent Agents VIII, LNAI 2333</title><imprint><date type="published" when="2001"></date><biblScope unit="page" from="141" to="157"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b33"><analytic><title level="a" type="main">Congolog, a concurrent programming language based on the situation calculus</title><author><persName><forename type="first">De</forename><surname>Giacomo</surname></persName></author><author><persName><forename type="first">G</forename><surname>Lesperance</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Levesque</surname></persName></author><author><persName><forename type="first">H</forename></persName></author></analytic><monogr><title level="j">Artificial Intelligence</title><imprint><biblScope unit="page" from="1" to="2"></biblScope></imprint></monogr></biblStruct></listBibl></back></text></istex:refBibTEI></enrichments></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000B71 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000B71 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Musique
|area= MozartV1
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:B38DA02BA867A9D40257609BEE1DB7035868F9B0
|texte= Go! for Multi-threaded Deliberative Agents
}}
| This area was generated with Dilib version V0.6.20. |  |