{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,18]],"date-time":"2024-07-18T15:17:53Z","timestamp":1721315873569},"reference-count":56,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T00:00:00Z","timestamp":1101859200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T00:00:00Z","timestamp":1374105600000},"content-version":"vor","delay-in-days":3151,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Logic"],"published-print":{"date-parts":[[2004,12]]},"DOI":"10.1016\/j.jal.2004.07.007","type":"journal-article","created":{"date-parts":[[2004,8,5]],"date-time":"2004-08-05T04:22:06Z","timestamp":1091679726000},"page":"469-493","source":"Crossref","is-referenced-by-count":7,"title":["Epistemology and artificial intelligence"],"prefix":"10.1016","volume":"2","author":[{"given":"Gregory R.","family":"Wheeler","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jal.2004.07.007_bib001","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00883931","article-title":"A logic programming system for non-monotonic reasoning","volume":"14","author":"Alferes","year":"1995","journal-title":"J. Automat. Reason."},{"key":"10.1016\/j.jal.2004.07.007_bib002","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1005900924623","article-title":"\u2018Classical\u2019 negation in non-monotonic reasoning and logic programming","volume":"20","author":"Alferes","year":"1998","journal-title":"J. Automat. Reason."},{"key":"10.1016\/j.jal.2004.07.007_bib003","series-title":"Reasoning with Logic Programming","author":"Alferes","year":"1996"},{"key":"10.1016\/j.jal.2004.07.007_bib004","series-title":"LP & NMR","first-page":"69","article-title":"Dualities between alternative semantics for logic programming and non-monotonic reasoning","author":"Baral","year":"1991"},{"key":"10.1016\/j.jal.2004.07.007_bib005","article-title":"General logic databases and programs: default logic semantics and stratification","author":"Bidoit","year":"1988","journal-title":"J. Inform. Comput."},{"key":"10.1016\/j.jal.2004.07.007_bib006","series-title":"Theory of Knowledge","author":"Chisholm","year":"1966"},{"key":"10.1016\/j.jal.2004.07.007_bib007","unstructured":"A. Colmerauer, et al., Un Syst\u00e9me de Communication Homme-Machine en Fran\u00e7ais, Research Report, Universit\u00e9 Aix-Marseille II, Groupe d'Intelligence Artificielle, France, 1973"},{"key":"10.1016\/j.jal.2004.07.007_bib008","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1080\/00048408712342971","article-title":"Evident, but rationally unacceptable","volume":"65","author":"Conee","year":"1987","journal-title":"Australasian J. Philos."},{"key":"10.1016\/j.jal.2004.07.007_bib009","first-page":"329","article-title":"The paradox of the knower without epistemic closure","volume":"110","author":"Cross","year":"2000","journal-title":"Mind"},{"key":"10.1016\/j.jal.2004.07.007_bib010","series-title":"Proc. 6th Int. Conference on Logic Programming and Non-monotonic Reasoning (LPNMR '01)","article-title":"Antitonic logic programs","author":"Damasio","year":"2001"},{"key":"10.1016\/j.jal.2004.07.007_bib011","series-title":"Skepticism: A Contemporary Reader","author":"De Rose","year":"1999"},{"key":"10.1016\/j.jal.2004.07.007_bib012","series-title":"Common Sense, Reasoning, and Rationality","year":"2002"},{"key":"10.1016\/j.jal.2004.07.007_bib013","series-title":"Computers and Thought","year":"1963"},{"key":"10.1016\/j.jal.2004.07.007_bib014","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1080\/00048407412341051","article-title":"An alledged defect in Gettier counterexamples","volume":"52","author":"Feldman","year":"1974","journal-title":"Australasian J. Philos."},{"key":"10.1016\/j.jal.2004.07.007_bib015","series-title":"Android Epistemology","year":"1995"},{"issue":"6","key":"10.1016\/j.jal.2004.07.007_bib016","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/analys\/23.6.121","article-title":"Is justified true belief knowledge?","volume":"23","author":"Gettier","year":"1963","journal-title":"Analysis"},{"key":"10.1016\/j.jal.2004.07.007_bib017","series-title":"Studies in Logic and Practical Reasoning, vol. 1","article-title":"Internal critique: a logic is not a theory of reasoning and a theory of reasoning is not a logic","author":"Harman","year":"2001"},{"key":"10.1016\/j.jal.2004.07.007_bib018","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1175\/1520-0434(1991)006<0098:HFPITS>2.0.CO;2","article-title":"Human factors psychology in the support of forecasting: The design of advanced meteorological workstations","volume":"6","author":"Hoffman","year":"1991","journal-title":"Weather and Forecasting"},{"key":"10.1016\/j.jal.2004.07.007_bib019","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1305\/ndjfl\/1093956549","article-title":"A paradox regained","volume":"1","author":"Kaplan","year":"1960","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/j.jal.2004.07.007_bib020","series-title":"Proceedings IFIP'74","first-page":"569","article-title":"Predicate logic as a programming language","author":"Kowalski","year":"1974"},{"key":"10.1016\/j.jal.2004.07.007_bib021","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","article-title":"Algorithm = logic + control","volume":"22","author":"Kowalski","year":"1979","journal-title":"Comm. ACM"},{"key":"10.1016\/j.jal.2004.07.007_bib022","series-title":"Probability and the Logic of Rational Belief","author":"Kyburg","year":"1961"},{"key":"10.1016\/j.jal.2004.07.007_bib023","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2941105","article-title":"The rule of adjunction and rational inference","volume":"94","author":"Kyburg","year":"1997","journal-title":"J. Philos."},{"issue":"2","key":"10.1016\/j.jal.2004.07.007_bib024","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1142\/S021800149900015X","article-title":"Statistical inference as default logic","volume":"13","author":"Kyburg","year":"1999","journal-title":"Internat. J. Pattern Recogn. Artificial Intelligence"},{"issue":"4","key":"10.1016\/j.jal.2004.07.007_bib025","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1023\/A:1011808015672","article-title":"Real logic is nonmonotonic","volume":"11","author":"Kyburg","year":"2001","journal-title":"Mind and Machines"},{"key":"10.1016\/j.jal.2004.07.007_bib026","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1093\/analys\/25.6.205","article-title":"The paradox of the preface","volume":"25","author":"Makinson","year":"1965","journal-title":"Analysis"},{"key":"10.1016\/j.jal.2004.07.007_bib027","series-title":"Studies in Logic and Practical Reasoning, vol. 1","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1016\/S1570-2464(02)80012-X","article-title":"Philosophical incidence of logic programming","author":"Pereira","year":"2002"},{"key":"10.1016\/j.jal.2004.07.007_bib028","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1086\/289309","article-title":"The paradox of the preface","volume":"53","author":"Pollock","year":"1986","journal-title":"Philos. Sci."},{"key":"10.1016\/j.jal.2004.07.007_bib029","first-page":"1","article-title":"Highlights of recent epistemology","volume":"52","author":"Prior","year":"2001","journal-title":"British J. Philos. Sci."},{"key":"10.1016\/j.jal.2004.07.007_bib030","unstructured":"H. Przymusinska, T. Przymusinski, Stationary default extensions, Technical Report, Department of Computer Science, California State Polytechnic and Department of Computer Science, University of California at Riverside, 1993"},{"key":"10.1016\/j.jal.2004.07.007_bib031","series-title":"Ontological Relativity and Other Essays","author":"Quine","year":"1969"},{"key":"10.1016\/j.jal.2004.07.007_bib032","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.jal.2004.07.007_bib033","series-title":"The Myth of the Paperless Office","author":"Sellen","year":"2001"},{"issue":"449","key":"10.1016\/j.jal.2004.07.007_bib034","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1093\/mind\/113.449.95","article-title":"The paradox of the knower without epistemic closure?","volume":"113","author":"Uzquiano","year":"2004","journal-title":"Mind"},{"issue":"3","key":"10.1016\/j.jal.2004.07.007_bib035","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","article-title":"The well-founded semantics for general logic programs","volume":"38","author":"van Gelder","year":"1991","journal-title":"J. ACM"},{"issue":"8","key":"10.1016\/j.jal.2004.07.007_bib036","doi-asserted-by":"crossref","DOI":"10.1145\/872734.806939","article-title":"PROLOG\u2014the language and its implementation compared with LISP","volume":"12","author":"Warren","year":"1977","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/j.jal.2004.07.007_bib037","unstructured":"G.R. Wheeler, C. Dam\u00e1sio, An implementation of statistical default logic, submitted for publication"},{"key":"10.1016\/j.jal.2004.07.007_bib038","series-title":"Paraconsistency","article-title":"Kinds of inconsistency","author":"Wheeler","year":"2002"},{"key":"10.1016\/j.jal.2004.07.007_bib039","series-title":"The Proceedings of the 10th International Workshop on Non-monotonic Reasoning (NMR-2004), Whistler Village, British Columbia","article-title":"A resource bounded default logic","author":"Wheeler","year":"2004"},{"key":"10.1016\/j.jal.2004.07.007_bib040","series-title":"Epistemic Justification","author":"Bonjour","year":"2003"},{"key":"10.1016\/j.jal.2004.07.007_bib041","series-title":"The Logical Foundations of Probability","author":"Carnap","year":"1950"},{"key":"10.1016\/j.jal.2004.07.007_bib042","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/j.jal.2004.07.007_bib043","series-title":"The Theory of Epistemic Rationality","author":"Foley","year":"1987"},{"key":"10.1016\/j.jal.2004.07.007_bib044","series-title":"Proceedings of the First International Joint Conference on Artificial Intelligence","first-page":"219","article-title":"Application of theorem proving to problem solving","author":"Green","year":"1969"},{"key":"10.1016\/j.jal.2004.07.007_bib045","series-title":"Machine Intelligence, vol. 4","first-page":"183","article-title":"Theorem-proving by resolution as a basis for question-answering systems","author":"Green","year":"1969"},{"key":"10.1016\/j.jal.2004.07.007_bib046","doi-asserted-by":"crossref","first-page":"357","DOI":"10.2307\/2024268","article-title":"A causal theory of knowing","volume":"64","author":"Goldman","year":"1967","journal-title":"J. Philos."},{"key":"10.1016\/j.jal.2004.07.007_bib047","series-title":"Epistemology and Cognition","author":"Goldman","year":"1986"},{"key":"10.1016\/j.jal.2004.07.007_bib048","series-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"Hintikka","year":"1962"},{"key":"10.1016\/j.jal.2004.07.007_bib049","series-title":"Philosophical Perspectives, vol. 2","first-page":"381","article-title":"What is \u2018naturalized epistemology\u2019?","author":"Kim","year":"1988"},{"key":"10.1016\/j.jal.2004.07.007_bib050","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0004-3702(87)90068-3","article-title":"Bayesian and non-bayesian evidential updating","volume":"31","author":"Kyburg","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.jal.2004.07.007_bib051","series-title":"Error and the Growth of Knowledge","author":"Mayo","year":"1996"},{"key":"10.1016\/j.jal.2004.07.007_bib052","series-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","year":"1995"},{"key":"10.1016\/j.jal.2004.07.007_bib053","series-title":"Logic and Data Bases","first-page":"55","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/j.jal.2004.07.007_bib054","series-title":"Change, Choice and Inference: A Study of Belief Revision and Non-monotonic Reasoning","author":"Rott","year":"2001"},{"key":"10.1016\/j.jal.2004.07.007_bib055","doi-asserted-by":"crossref","unstructured":"M. van Emden, R. Kowalski, The semantics of predicate logic as a programming language, J. ACM 4 (23) 733\u2013742","DOI":"10.1145\/321978.321991"},{"key":"10.1016\/j.jal.2004.07.007_bib056","unstructured":"J. Weinburg, Can one challenge intuitions without risking skepticism? Department of Philosophy, Indiana University, unpublished manuscript"}],"container-title":["Journal of Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570868304000473?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570868304000473?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T23:22:07Z","timestamp":1549322527000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570868304000473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":56,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,12]]}},"alternative-id":["S1570868304000473"],"URL":"https:\/\/doi.org\/10.1016\/j.jal.2004.07.007","relation":{},"ISSN":["1570-8683"],"issn-type":[{"value":"1570-8683","type":"print"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}