ConGolog, a concurrent programming language based on the situation calculus. Giacomo, G. D., Lespérance, Y., & Levesque, H. J. Artif. Intell., 121(1-2):109–169, 2000. Paper doi bibtex @article{DBLP:journals/ai/GiacomoLL00,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {ConGolog, a concurrent programming language based on the situation
calculus},
journal = {Artif. Intell.},
volume = {121},
number = {1-2},
pages = {109--169},
year = {2000},
url = {https://doi.org/10.1016/S0004-3702(00)00031-X},
doi = {10.1016/S0004-3702(00)00031-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GiacomoLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":{"_str":"51f6bdd759ced8df44001045"},"__v":103,"authorIDs":["54573f5f2abc8e9f37000208","545aa113b43425b77200103d","5467d2e3bc7d6a460d000d74"],"author_short":["Giacomo, G. D.","Lespérance, Y.","Levesque, H. J."],"bibbaseid":"giacomo-lesprance-levesque-congologaconcurrentprogramminglanguagebasedonthesituationcalculus-2000","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Yves"],"propositions":[],"lastnames":["Lespérance"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"title":"ConGolog, a concurrent programming language based on the situation calculus","journal":"Artif. Intell.","volume":"121","number":"1-2","pages":"109–169","year":"2000","url":"https://doi.org/10.1016/S0004-3702(00)00031-X","doi":"10.1016/S0004-3702(00)00031-X","timestamp":"Sat, 27 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ai/GiacomoLL00.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ai/GiacomoLL00,\n author = {Giuseppe De Giacomo and\n Yves Lesp{\\'{e}}rance and\n Hector J. Levesque},\n title = {ConGolog, a concurrent programming language based on the situation\n calculus},\n journal = {Artif. Intell.},\n volume = {121},\n number = {1-2},\n pages = {109--169},\n year = {2000},\n url = {https://doi.org/10.1016/S0004-3702(00)00031-X},\n doi = {10.1016/S0004-3702(00)00031-X},\n timestamp = {Sat, 27 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ai/GiacomoLL00.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Lespérance, Y.","Levesque, H. J."],"key":"DBLP:journals/ai/GiacomoLL00","id":"DBLP:journals/ai/GiacomoLL00","bibbaseid":"giacomo-lesprance-levesque-congologaconcurrentprogramminglanguagebasedonthesituationcalculus-2000","role":"author","urls":{"Paper":"https://doi.org/10.1016/S0004-3702(00)00031-X"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","downloads":0,"keywords":[],"search_terms":["congolog","concurrent","programming","language","based","situation","calculus","giacomo","lespérance","levesque"],"title":"ConGolog, a concurrent programming language based on the situation calculus","title_words":["congolog","concurrent","programming","language","based","situation","calculus"],"year":2000,"dataSources":["YjG8LNSHJbrQothJ5","nYZATui8QfoZTWDxh"]}