@inproceedings{DYNAMICS97,
  author =       "Pascal van Eck and Joeri Engelfriet and Dieter
                  Fensel and Frank van Harmelen and Yde Venema and
                  Mark Willems",
  title =        "Specification of Dynamics for Knowledge-Based Systems",
  booktitle =    "Transactions and Change in Logic Databases",
  editor =       "Burkhard Freitag and Hendrik Decker and Michael Kifer
                  and Andrei Voronkov",
  year =         "1998",
  pages =        "37-68",
  volume =       "1472",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer Verlag",
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DYNAMICS97.pdf"
}

{"_id":{"_str":"53425cb30e946d920a000bfa"},"__v":156,"authorIDs":["3obmQ57ktWcYPG9dJ","54573d5e2abc8e9f370001f6","5de727fb97054edf010000c1","5dea103bfac96fde01000184","5deb5f460ff3bbdf010000d1","5deba5e19abf64df01000061","5def85b045114dde010000d9","5df1db001070c8ef01000133","5df2d9b379c00ade01000122","5df3ad4eec6029de010000dd","5df7e18ddc100cde0100016e","5dfc11c9b371afde010000fc","5e004ddc63155bde0100004b","5e048417db7916df010000ad","5e08b6da7dc1dcdf010000cb","5e0cd9f66762d1de010000ab","5e0d1dd49ecb35de01000107","5e0da304675bf1de0100009f","5e0db208c7ca67df01000042","5e110aa2d6a01ede01000094","5e14998e830852de01000048","5e1aee555f3d2cdf0100012c","5e1ee07a875c69df010000f1","5e21a5ed3ef35cdf0100014f","5e24a1a31a6264de01000014","5e24d16e981ceddf010000a0","5e2ca60dcca05fde01000002","5e373b254cbab2df010000b5","5e381f370691b8de0100012e","5e391f337f8bf3f30100009b","5e3d460bdc4cd0f301000080","5e412f0fb54187de010001fd","5e46956e2e79a6df01000015","5e4f90e342a908de010000f0","5e55e1eec2c8a2df0100004b","5e55fb91819fabdf01000043","5e5d399073eb2edf0100005d","5e62c9b48f9dfede01000012","5e69ec413aab3cdf01000236","5e6a6051d37d43de0100021a","5uNwRzqPShqjj5w7n","67aLTCWbjGwkDDC9D","95DQ5KcEuc84FLGpw","9RwLS5Tu3kXtxYNXD","AZSDESQhTC3QweCiq","AgKpe75fbth2Q8zbs","Bm6s5DR3MSgxJ3wWr","BpJxc38YKyqTpBDhA","E5rA8DH9RCbZ8trMX","Er2P5Yhz7RkA8HH5Q","GuR62ZXthJcND8FNe","HK78wHnj2BKwHox8E","QxvM7gxJduoC5ACWE","SCujaYWzkdYmyT2Eo","cy8fYiReXtfHc2tqN","etKTQjxCiA468douC","fX6HifTArZSbcCozd","jde8THxMDAYEbySTP","ot9kP7ojCmwzzGy2d","oynzRoATcqFByjhqE","qBc7At3jT9LnqBMw3","rey8AwcLiwHEcvMRX","shBRjbZTLWKah2ebY","tdg6Pso6ddJK2rTaD","uhynEQbsamWFGmHHD","zyWJw2NzMcSAHredn"],"author_short":["van Eck, P.","Engelfriet, J.","Fensel, D.","van Harmelen, F.","Venema, Y.","Willems, M."],"bibbaseid":"vaneck-engelfriet-fensel-vanharmelen-venema-willems-specificationofdynamicsforknowledgebasedsystems-1998","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pascal"],"propositions":["van"],"lastnames":["Eck"],"suffixes":[]},{"firstnames":["Joeri"],"propositions":[],"lastnames":["Engelfriet"],"suffixes":[]},{"firstnames":["Dieter"],"propositions":[],"lastnames":["Fensel"],"suffixes":[]},{"firstnames":["Frank"],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Yde"],"propositions":[],"lastnames":["Venema"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Willems"],"suffixes":[]}],"title":"Specification of Dynamics for Knowledge-Based Systems","booktitle":"Transactions and Change in Logic Databases","editor":[{"firstnames":["Burkhard"],"propositions":[],"lastnames":["Freitag"],"suffixes":[]},{"firstnames":["Hendrik"],"propositions":[],"lastnames":["Decker"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kifer"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"year":"1998","pages":"37-68","volume":"1472","series":"Lecture Notes in Computer Science","publisher":"Springer Verlag","keywords":"Verification and Validation of KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/DYNAMICS97.pdf","bibtex":"@inproceedings{DYNAMICS97,\r\n author = \"Pascal van Eck and Joeri Engelfriet and Dieter\r\n Fensel and Frank van Harmelen and Yde Venema and\r\n Mark Willems\",\r\n title = \"Specification of Dynamics for Knowledge-Based Systems\",\r\n booktitle = \"Transactions and Change in Logic Databases\",\r\n editor = \"Burkhard Freitag and Hendrik Decker and Michael Kifer\r\n and Andrei Voronkov\",\r\n year = \"1998\",\r\n pages = \"37-68\",\r\n volume = \"1472\",\r\n series = \"Lecture Notes in Computer Science\",\r\n publisher = \"Springer Verlag\",\r\n keywords = {Verification and Validation of KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/DYNAMICS97.pdf\"\r\n}\r\n\r\n","author_short":["van Eck, P.","Engelfriet, J.","Fensel, D.","van Harmelen, F.","Venema, Y.","Willems, M."],"editor_short":["Freitag, B.","Decker, H.","Kifer, M.","Voronkov, A."],"key":"DYNAMICS97","id":"DYNAMICS97","bibbaseid":"vaneck-engelfriet-fensel-vanharmelen-venema-willems-specificationofdynamicsforknowledgebasedsystems-1998","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/DYNAMICS97.pdf"},"keyword":["Verification and Validation of KBS"],"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","downloads":0,"keywords":["verification and validation of kbs"],"search_terms":["specification","dynamics","knowledge","based","systems","van eck","engelfriet","fensel","van harmelen","venema","willems"],"title":"Specification of Dynamics for Knowledge-Based Systems","year":1998,"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT","9CnmDh6oPMNTwHksm"]}