%0 Conference Paper %1 conf/ecai/GiacomoLPV14 %A Giacomo, Giuseppe De %A Lespérance, Yves %A Patrizi, Fabio %A Vassos, Stavros %B ECAI %D 2014 %E Schaub, Torsten %E Friedrich, Gerhard %E O'Sullivan, Barry %I IOS Press %K dblp %P 369-374 %T LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#GiacomoLPV14 %V 263 %@ 978-1-61499-419-0

@inproceedings{conf/ecai/GiacomoLPV14, added-at = {2023-06-26T00:00:00.000+0200}, author = {Giacomo, Giuseppe De and Lespérance, Yves and Patrizi, Fabio and Vassos, Stavros}, biburl = {https://www.bibsonomy.org/bibtex/2aad90eba8f5d5d109636c12012922caa/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2014}, editor = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry}, ee = {https://doi.org/10.3233/978-1-61499-419-0-369}, interhash = {b4e5580891cb93b9fe8833bbfddb993e}, intrahash = {aad90eba8f5d5d109636c12012922caa}, isbn = {978-1-61499-419-0}, keywords = {dblp}, pages = {369-374}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T18:45:52.000+0200}, title = {LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#GiacomoLPV14}, volume = 263, year = 2014 }