Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract). Baier, J. A. In ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications, Saarbruecken, Germany, August, 1998. Paper bibtex @InProceedings{bai-pin98,
author = {Jorge A. Baier},
title = {Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract)},
booktitle = {ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications},
address = {Saarbruecken, Germany},
url={bai-pin98.pdf},
month = {August},
year = 1998
}
Downloads: 0
{"_id":{"_str":"534231890e946d920a0001a9"},"__v":5,"authorIDs":["5456e0ad8b01c8193000001d","5decfe493d02efdf010000b9","5df1c31a1070c8ef01000002","5dfe0ecc935a0ade010000ad","5e1adfb15f3d2cdf01000072","5e29a59cfed3e7df0100014c","5e3904ffdc5b8ade010000c7","5e3b8b46184d6ede010000d3","5e52adfe6a3abede01000039","5e647227e1ac00de010000cf","KgxYGmiEzFJvKprNk","MEoQeezyzmiZJBL6Q","XTbwimLCEPypo5jCM","dXzCgSQ92jsaPmt92","e7wakEJ3QheGDHyp4","hzTHbnpEEc6x5PyJh","nt4rKk7pQbAZdWSCh","pPCF56vJtuKfzGj9a","uuLCJotT9BDAX7yMq","x8zNn2RjXhJ2TL4Sn"],"author_short":["Baier, J. A."],"bibbaseid":"baier-noninstantaneousactionsandconcurrencyinthesituationcalculusextendedabstract-1998","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]}],"title":"Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract)","booktitle":"ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications","address":"Saarbruecken, Germany","url":"bai-pin98.pdf","month":"August","year":"1998","bibtex":"@InProceedings{bai-pin98,\n author = {Jorge A. Baier},\n title = {Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract)},\n booktitle = {ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications},\n address = {Saarbruecken, Germany},\n url={bai-pin98.pdf},\n month = {August},\n year = 1998\n}\n\n","author_short":["Baier, J. A."],"key":"bai-pin98","id":"bai-pin98","bibbaseid":"baier-noninstantaneousactionsandconcurrencyinthesituationcalculusextendedabstract-1998","role":"author","urls":{"Paper":"www.cs.toronto.edu/~jabaier/publications/bai-pin98.pdf"},"metadata":{"authorlinks":{"baier, j":"http://www.cs.toronto.edu/"}}},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/~jabaier/publications/list2.bib","downloads":1,"keywords":[],"search_terms":["non","instantaneous","actions","concurrency","situation","calculus","extended","abstract","baier"],"title":"Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract)","year":1998,"dataSources":["oKWxZB3B6nhbK6M7y","hCkK2axjCNdLJDwFo","G446v9njWTbWTXYNg"]}