%0 Conference Paper %1 conf/aaai/FaginHMV94 %A Fagin, Ronald %A Halpern, Joseph Y. %A Moses, Yoram %A Vardi, Moshe Y. %B AAAI %D 1994 %E Hayes-Roth, Barbara %E Korf, Richard E. %I AAAI Press / The MIT Press %K dblp %P 1142-1147 %T An Operational Semantics for Knowledge Bases. %U http://dblp.uni-trier.de/db/conf/aaai/aaai94-2.html#FaginHMV94

@inproceedings{conf/aaai/FaginHMV94, added-at = {2023-09-04T00:00:00.000+0200}, author = {Fagin, Ronald and Halpern, Joseph Y. and Moses, Yoram and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2b70acc81641f437523659a3dd89b129b/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1994-2}, editor = {Hayes-Roth, Barbara and Korf, Richard E.}, ee = {http://www.aaai.org/Library/AAAI/1994/aaai94-176.php}, interhash = {2d28566dae3bae873a00f3d5198d0776}, intrahash = {b70acc81641f437523659a3dd89b129b}, keywords = {dblp}, note = {0-262-61102-3}, pages = {1142-1147}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-10T16:05:17.000+0200}, title = {An Operational Semantics for Knowledge Bases.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai94-2.html#FaginHMV94}, year = 1994 }