@Inbook{ECAI92WS,
  author =       "J. Balder and F. van Harmelen and M. Aben",
  title =        "A {KADS/ML$^2$} model of a scheduling task",
  booktitle =   "Formal Specification of Complex Reasoning Systems",
  pages =       "15--44",
  publisher =   "Ellis Horwood",
  year =        1993,
  editor =      "J. Treur and Th. Wetter",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI92WS.pdf"
}

{"_id":"SvQEHSzZveH4biCJf","bibbaseid":"balder-vanharmelen-aben-akadsml2modelofaschedulingtask-1993","author_short":["Balder, J.","van Harmelen, F.","Aben, M."],"bibdata":{"bibtype":"inbook","type":"inbook","author":[{"firstnames":["J."],"propositions":[],"lastnames":["Balder"],"suffixes":[]},{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Aben"],"suffixes":[]}],"title":"A KADS/ML$^2$ model of a scheduling task","booktitle":"Formal Specification of Complex Reasoning Systems","pages":"15–44","publisher":"Ellis Horwood","year":"1993","editor":[{"firstnames":["J."],"propositions":[],"lastnames":["Treur"],"suffixes":[]},{"firstnames":["Th."],"propositions":[],"lastnames":["Wetter"],"suffixes":[]}],"keywords":"Specification Languages for KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/ECAI92WS.pdf","bibtex":"@Inbook{ECAI92WS,\r\n author = \"J. Balder and F. van Harmelen and M. Aben\",\r\n title = \"A {KADS/ML$^2$} model of a scheduling task\",\r\n booktitle = \"Formal Specification of Complex Reasoning Systems\",\r\n pages = \"15--44\",\r\n publisher = \"Ellis Horwood\",\r\n year = 1993,\r\n editor = \"J. Treur and Th. Wetter\",\r\n keywords = {Specification Languages for KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/ECAI92WS.pdf\"\r\n}\r\n\r\n","author_short":["Balder, J.","van Harmelen, F.","Aben, M."],"editor_short":["Treur, J.","Wetter, T."],"key":"ECAI92WS","id":"ECAI92WS","bibbaseid":"balder-vanharmelen-aben-akadsml2modelofaschedulingtask-1993","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/ECAI92WS.pdf"},"keyword":["Specification Languages for KBS"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inbook","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["specification languages for kbs"],"search_terms":["kads","model","scheduling","task","balder","van harmelen","aben"],"title":"A KADS/ML$^2$ model of a scheduling task","year":1993}