%0 Conference Paper %1 reason:PinRei93a %A Pinto, J. %A Reiter, R. %B Proc. 10th Int. Conf. on Logic Programming %C Budapest, Hungary %D 1993 %K imported ml %T Temporal Reasoning in Logic Programming: A Case for the Situation Calculus

@inproceedings{reason:PinRei93a, added-at = {2016-11-26T13:19:29.000+0100}, address = {Budapest, Hungary}, author = {Pinto, J. and Reiter, R.}, biburl = {https://www.bibsonomy.org/bibtex/299ed28a516293b41572346be91627594/machinelearning}, booktitle = {Proc. 10th Int. Conf. on Logic Programming}, interhash = {a1f7aac81ca41184e008aacb968c9433}, intrahash = {99ed28a516293b41572346be91627594}, keywords = {imported ml}, serial = {PinRei93a}, timestamp = {2016-11-26T13:20:49.000+0100}, title = {Temporal Reasoning in Logic Programming: A Case for the Situation Calculus}, year = 1993 }