%0 Conference Paper %1 conf/kr/BacchusTK89 %A Bacchus, Fahiem %A Tenenberg, Josh %A Koomen, Johannes A. G. M. %B KR %D 1989 %E Brachman, Ronald J. %E Levesque, Hector J. %E Reiter, Raymond %I Morgan Kaufmann %K dblp %P 2-10 %T A Non-Reified Temporal Logic. %U http://dblp.uni-trier.de/db/conf/kr/kr89.html#BacchusTK89 %@ 1-55860-032-9

@inproceedings{conf/kr/BacchusTK89, added-at = {2022-05-19T00:00:00.000+0200}, author = {Bacchus, Fahiem and Tenenberg, Josh and Koomen, Johannes A. G. M.}, biburl = {https://www.bibsonomy.org/bibtex/2af2fe4fd8847da505bba9199322b2d48/dblp}, booktitle = {KR}, crossref = {conf/kr/1989}, editor = {Brachman, Ronald J. and Levesque, Hector J. and Reiter, Raymond}, interhash = {c519238bfcad74fd4d66894b909438ac}, intrahash = {af2fe4fd8847da505bba9199322b2d48}, isbn = {1-55860-032-9}, keywords = {dblp}, pages = {2-10}, publisher = {Morgan Kaufmann}, timestamp = {2024-04-10T19:58:16.000+0200}, title = {A Non-Reified Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr89.html#BacchusTK89}, year = 1989 }