All I Know: A Study in Autoepistemic Logic. Levesque, H. J. Artif. Intell., 42(2-3):263–309, 1990. Paper doi bibtex @article{DBLP:journals/ai/Levesque90,
author = {Hector J. Levesque},
title = {All {I} Know: {A} Study in Autoepistemic Logic},
journal = {Artif. Intell.},
volume = {42},
number = {2-3},
pages = {263--309},
year = {1990},
url = {https://doi.org/10.1016/0004-3702(90)90056-6},
doi = {10.1016/0004-3702(90)90056-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/ai/Levesque90},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":{"_str":"534279640e946d920a0017de"},"__v":7,"authorIDs":["545aa113b43425b77200103d"],"author_short":["Levesque, H. J."],"bibbaseid":"levesque-alliknowastudyinautoepistemiclogic-1990","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"title":"All I Know: A Study in Autoepistemic Logic","journal":"Artif. Intell.","volume":"42","number":"2-3","pages":"263–309","year":"1990","url":"https://doi.org/10.1016/0004-3702(90)90056-6","doi":"10.1016/0004-3702(90)90056-6","timestamp":"Sat, 27 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/ai/Levesque90","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ai/Levesque90,\n author = {Hector J. Levesque},\n title = {All {I} Know: {A} Study in Autoepistemic Logic},\n journal = {Artif. Intell.},\n volume = {42},\n number = {2-3},\n pages = {263--309},\n year = {1990},\n url = {https://doi.org/10.1016/0004-3702(90)90056-6},\n doi = {10.1016/0004-3702(90)90056-6},\n timestamp = {Sat, 27 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/ai/Levesque90},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Levesque, H. J."],"key":"DBLP:journals/ai/Levesque90","id":"DBLP:journals/ai/Levesque90","bibbaseid":"levesque-alliknowastudyinautoepistemiclogic-1990","role":"author","urls":{"Paper":"https://doi.org/10.1016/0004-3702(90)90056-6"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/l/HJLevesque.bib","downloads":0,"keywords":[],"search_terms":["know","study","autoepistemic","logic","levesque"],"title":"All I Know: A Study in Autoepistemic Logic","year":1990,"dataSources":["LNdMWtwHexeaM7uMZ"]}