Explanation Based Generalisation = Partial Evaluation. van Harmelen, F. & Bundy, A. Artificial Intelligence, 36:401–412, 1988.
Paper bibtex @Article{AIJ88,
author = "F. van Harmelen and A. Bundy",
title = "Explanation Based Generalisation = Partial Evaluation",
journal = "Artificial Intelligence",
year = 1988,
volume = 36,
pages = "401--412",
keywords = {Automated Reasoning},
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf"
}
Downloads: 0
{"_id":"FsjszL2To8X6xX2Wy","bibbaseid":"vanharmelen-bundy-explanationbasedgeneralisationpartialevaluation-1988","author_short":["van Harmelen, F.","Bundy, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Bundy"],"suffixes":[]}],"title":"Explanation Based Generalisation = Partial Evaluation","journal":"Artificial Intelligence","year":"1988","volume":"36","pages":"401–412","keywords":"Automated Reasoning","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf","bibtex":"@Article{AIJ88,\r\n author = \"F. van Harmelen and A. Bundy\",\r\n title = \"Explanation Based Generalisation = Partial Evaluation\",\r\n journal = \"Artificial Intelligence\",\r\n year = 1988,\r\n volume = 36,\r\n pages = \"401--412\",\r\n keywords = {Automated Reasoning},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf\"\r\n}\r\n\r\n","author_short":["van Harmelen, F.","Bundy, A."],"key":"AIJ88","id":"AIJ88","bibbaseid":"vanharmelen-bundy-explanationbasedgeneralisationpartialevaluation-1988","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf"},"keyword":["Automated Reasoning"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["automated reasoning"],"search_terms":["explanation","based","generalisation","partial","evaluation","van harmelen","bundy"],"title":"Explanation Based Generalisation = Partial Evaluation","year":1988}