Spatio-Temporal Reasoning about Traffic Scenarios. Schwering, C. & Lakemeyer, G. In Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning, Cyprus, 05/2013, 2013. Paper Paper abstract bibtex A model of spatial relations between automobiles changing over time needs to trade off expressivity, computational complexity, type of measured data, and closeness to human cognition. We present a common sense theory for reasoning about distances between cars based on two temporal distances between pairs of cars, \emphnet time gap and \emphtime to collision. We give an axiomatization in the situation calculus which allows reasoning about car-to-car relations and how they are affected by time and acceleration. We also discuss experimental results in a plan recognition scenario.
@inproceedings { Schwering:Commonsense2013,
title = {Spatio-Temporal Reasoning about Traffic Scenarios},
booktitle = {Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning},
year = {2013},
month = {05/2013},
address = {Cyprus},
abstract = {A model of spatial relations between automobiles changing over time needs to trade off expressivity, computational complexity, type of measured data, and closeness to human cognition. We present a common sense theory for reasoning about distances between cars based on two temporal distances between pairs of cars, \emph{net time gap} and \emph{time to collision}. We give an axiomatization in the situation calculus which allows reasoning about car-to-car relations and how they are affected by time and acceleration. We also discuss experimental results in a plan recognition scenario.},
url = {http://kbsg.rwth-aachen.de/~schwering/commonsense-2013.pdf},
url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyer2013.pdf},
author = {Christoph Schwering and Lakemeyer, Gerhard}
}
Downloads: 0
{"_id":"LD3EfuPQ5wza2bFfW","bibbaseid":"schwering-lakemeyer-spatiotemporalreasoningabouttrafficscenarios-2013","author_short":["Schwering, C.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Spatio-Temporal Reasoning about Traffic Scenarios","booktitle":"Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning","year":"2013","month":"05/2013","address":"Cyprus","abstract":"A model of spatial relations between automobiles changing over time needs to trade off expressivity, computational complexity, type of measured data, and closeness to human cognition. We present a common sense theory for reasoning about distances between cars based on two temporal distances between pairs of cars, \\emphnet time gap and \\emphtime to collision. We give an axiomatization in the situation calculus which allows reasoning about car-to-car relations and how they are affected by time and acceleration. We also discuss experimental results in a plan recognition scenario.","url":"http://kbsg.rwth-aachen.de/~schwering/commonsense-2013.pdf","url_paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyer2013.pdf","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Schwering"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"bibtex":"@inproceedings { Schwering:Commonsense2013,\n title = {Spatio-Temporal Reasoning about Traffic Scenarios},\n booktitle = {Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning},\n year = {2013},\n month = {05/2013},\n address = {Cyprus},\n abstract = {A model of spatial relations between automobiles changing over time needs to trade off expressivity, computational complexity, type of measured data, and closeness to human cognition. We present a common sense theory for reasoning about distances between cars based on two temporal distances between pairs of cars, \\emph{net time gap} and \\emph{time to collision}. We give an axiomatization in the situation calculus which allows reasoning about car-to-car relations and how they are affected by time and acceleration. We also discuss experimental results in a plan recognition scenario.},\n url = {http://kbsg.rwth-aachen.de/~schwering/commonsense-2013.pdf},\n url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyer2013.pdf},\n author = {Christoph Schwering and Lakemeyer, Gerhard}\n}\n\n","author_short":["Schwering, C.","Lakemeyer, G."],"key":"Schwering:Commonsense2013","id":"Schwering:Commonsense2013","bibbaseid":"schwering-lakemeyer-spatiotemporalreasoningabouttrafficscenarios-2013","role":"author","urls":{"Paper":"http://kbsg.rwth-aachen.de/~schwering/commonsense-2013.pdf"," paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyer2013.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["spatio","temporal","reasoning","traffic","scenarios","schwering","lakemeyer"],"title":"Spatio-Temporal Reasoning about Traffic Scenarios","year":2013}