On Procedure Recognition in the Situation Calculus. Baier, J. A. In 22nd International Conference of the Chilean Computer Science Society (SCCC 2002), 6-8 November 2002, Copiapo, Chile, pages 33–42, 2002. ![On Procedure Recognition in the Situation Calculus [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex 1 download @InProceedings{ dblp:conf/sccc/baier02,
author = {Jorge A. Baier},
title = {On Procedure Recognition in the Situation Calculus},
booktitle = {22nd International Conference of the Chilean Computer
Science Society {(SCCC} 2002), 6-8 November 2002, Copiapo,
Chile},
pages = {33--42},
year = {2002},
crossref = {DBLP:conf/sccc/2002},
url = {https://doi.org/10.1109/SCCC.2002.1173171},
doi = {10.1109/SCCC.2002.1173171},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/sccc/Baier02},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 1
{"_id":{"_str":"534231890e946d920a0001b2"},"__v":7,"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-onprocedurerecognitioninthesituationcalculus-2002","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]}],"title":"On Procedure Recognition in the Situation Calculus","booktitle":"22nd International Conference of the Chilean Computer Science Society (SCCC 2002), 6-8 November 2002, Copiapo, Chile","pages":"33–42","year":"2002","crossref":"DBLP:conf/sccc/2002","url":"https://doi.org/10.1109/SCCC.2002.1173171","doi":"10.1109/SCCC.2002.1173171","timestamp":"Thu, 25 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/sccc/Baier02","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@InProceedings{\t dblp:conf/sccc/baier02,\n author\t= {Jorge A. Baier},\n title\t\t= {On Procedure Recognition in the Situation Calculus},\n booktitle\t= {22nd International Conference of the Chilean Computer\n\t\t Science Society {(SCCC} 2002), 6-8 November 2002, Copiapo,\n\t\t Chile},\n pages\t\t= {33--42},\n year\t\t= {2002},\n crossref\t= {DBLP:conf/sccc/2002},\n url\t\t= {https://doi.org/10.1109/SCCC.2002.1173171},\n doi\t\t= {10.1109/SCCC.2002.1173171},\n timestamp\t= {Thu, 25 May 2017 01:00:00 +0200},\n biburl\t= {https://dblp.org/rec/bib/conf/sccc/Baier02},\n bibsource\t= {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Baier, J. A."],"key":"dblp:conf/sccc/baier02","id":"dblp:conf/sccc/baier02","bibbaseid":"baier-onprocedurerecognitioninthesituationcalculus-2002","role":"author","urls":{"Paper":"https://doi.org/10.1109/SCCC.2002.1173171"},"metadata":{"authorlinks":{"baier, j":"http://www.cs.toronto.edu/~bgmomb/research.html"}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/ialab-puc/ialab.ing.puc.cl/master/pubs.bib","downloads":1,"keywords":[],"search_terms":["procedure","recognition","situation","calculus","baier"],"title":"On Procedure Recognition in the Situation Calculus","year":2002,"dataSources":["oKWxZB3B6nhbK6M7y","hCkK2axjCNdLJDwFo","sg6yZ29Z2xB5xP79R","G446v9njWTbWTXYNg"]}