Socrates: a flexible toolkit for building logic-based expert systems . Corlett, R., Davies, N., Khan, R., Reichgelt, H., & van Harmelen, F. Knowledge-Based Systems, 1(3):132 - 142, 1988.
![Socrates: a flexible toolkit for building logic-based expert systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper doi bibtex
Paper doi bibtex @article{Corlett1988132,
title = "Socrates: a flexible toolkit for building logic-based expert systems ",
journal = "Knowledge-Based Systems",
volume = "1",
number = "3",
pages = "132 - 142",
year = "1988",
note = "",
issn = "0950-7051",
doi = "http://dx.doi.org/10.1016/0950-7051(88)90071-8",
url = "http://www.sciencedirect.com/science/article/pii/0950705188900718",
author = "R. Corlett and N. Davies and R. Khan and H. Reichgelt and F. van Harmelen",
keywords = {Specification Languages for KBS},
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KBS88.pdf"
}Downloads: 0
{"_id":"YpPx86Lj6hRYMmLTM","bibbaseid":"corlett-davies-khan-reichgelt-vanharmelen-socratesaflexibletoolkitforbuildinglogicbasedexpertsystems-1988","author_short":["Corlett, R.","Davies, N.","Khan, R.","Reichgelt, H.","van Harmelen, F."],"bibdata":{"bibtype":"article","type":"article","title":"Socrates: a flexible toolkit for building logic-based expert systems ","journal":"Knowledge-Based Systems","volume":"1","number":"3","pages":"132 - 142","year":"1988","note":"","issn":"0950-7051","doi":"http://dx.doi.org/10.1016/0950-7051(88)90071-8","url":"http://www.sciencedirect.com/science/article/pii/0950705188900718","author":[{"firstnames":["R."],"propositions":[],"lastnames":["Corlett"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Davies"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Khan"],"suffixes":[]},{"firstnames":["H."],"propositions":[],"lastnames":["Reichgelt"],"suffixes":[]},{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]}],"keywords":"Specification Languages for KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/KBS88.pdf","bibtex":"@article{Corlett1988132,\r\n title = \"Socrates: a flexible toolkit for building logic-based expert systems \",\r\n journal = \"Knowledge-Based Systems\",\r\n volume = \"1\",\r\n number = \"3\",\r\n pages = \"132 - 142\",\r\n year = \"1988\",\r\n note = \"\",\r\n issn = \"0950-7051\",\r\n doi = \"http://dx.doi.org/10.1016/0950-7051(88)90071-8\",\r\n url = \"http://www.sciencedirect.com/science/article/pii/0950705188900718\",\r\n author = \"R. Corlett and N. Davies and R. Khan and H. Reichgelt and F. van Harmelen\",\r\n keywords = {Specification Languages for KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/KBS88.pdf\"\r\n}\r\n\r\n\r\n\r\n","author_short":["Corlett, R.","Davies, N.","Khan, R.","Reichgelt, H.","van Harmelen, F."],"key":"Corlett1988132","id":"Corlett1988132","bibbaseid":"corlett-davies-khan-reichgelt-vanharmelen-socratesaflexibletoolkitforbuildinglogicbasedexpertsystems-1988","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/KBS88.pdf"},"keyword":["Specification Languages for KBS"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["specification languages for kbs"],"search_terms":["socrates","flexible","toolkit","building","logic","based","expert","systems","corlett","davies","khan","reichgelt","van harmelen"],"title":"Socrates: a flexible toolkit for building logic-based expert systems ","year":1988}