{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T03:02:33Z","timestamp":1649127753233},"reference-count":47,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1080\/11663081.1995.10510842","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T04:07:40Z","timestamp":1338350860000},"page":"31-50","source":"Crossref","is-referenced-by-count":2,"title":["Belief, provability, and logic programs"],"prefix":"10.1080","volume":"5","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","first-page":"334","volume-title":"on LP & NMR","author":"Alferes J. J.","year":"1993"},{"key":"CIT0002","first-page":"140","volume-title":"European Conf. on AI","author":"Alferes J. J.","year":"1994"},{"key":"CIT0003","volume-title":"Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa","author":"Jos\u00e9 J\u00falio Alferes","year":"1993"},{"key":"CIT0004","first-page":"574","volume-title":"Int. Joint Conf. and Symp. on LP","author":"Alferes J. J.","year":"1992"},{"key":"CIT0005","volume-title":"LNAI. Springer-Verlag","author":"Alferes J. J.","year":"1994"},{"key":"CIT0006","unstructured":"Alferes, J. J., Pereira, L. M. and Przymusinski, T. 1994. \u201cBelief revision in nonmonotonic reasoning and logic programming. Technical report, CRIA, UNINOVA and Univ. of California at Riverside, December\u201d."},{"key":"CIT0007","volume-title":"Symp. on Principles of Database Systems. ACM SIGACT-SIGMOD","author":"Bidoit N.","year":"1987"},{"key":"CIT0008","first-page":"417","volume-title":"Int. Joint Conf. and Symp. on LP","author":"Bonatti P.","year":"1992"},{"key":"CIT0009","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An introduction. Cambridge Univ. Press","author":"Chellas B.","year":"1980"},{"key":"CIT0010","first-page":"132","volume-title":"2nd Int. Ws. on LP & NMR","author":"Chen J.","year":"1993"},{"key":"CIT0011","first-page":"166","volume-title":"LP & NMR","author":"Dix J.","year":"1991"},{"key":"CIT0012","volume-title":"3rd Int. Conf. on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann","author":"Dix J.","year":"1992"},{"key":"CIT0013","first-page":"120","volume-title":"LP & NMR","author":"Dung P. M.","year":"1991"},{"key":"CIT0014","first-page":"3","volume-title":"8th Int. Conf. on LP","author":"Dung P. M.","year":"1991"},{"key":"CIT0015","volume-title":"6th Int. Conf. on LP.","author":"Eshghi K.","year":"1989"},{"key":"CIT0016","first-page":"207","volume-title":"In AAAI'87","author":"Gelfond M.","year":"1987"},{"key":"CIT0017","first-page":"1070","volume-title":"5th Int. Conf. on LP","author":"Gelfond M.","year":"1988"},{"key":"CIT0018","first-page":"579","volume-title":"7th Int. Conf. on LP","author":"Gelfond M.","year":"1990"},{"issue":"3","key":"CIT0019","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"Van Gelder A.","year":"1991","journal-title":"Journal of the ACM"},{"key":"CIT0020","volume-title":"A companion to modal logic. Methuen","author":"Hughes G.","year":"1984"},{"key":"CIT0021","unstructured":"Jonker, K. 1991. \u201cOn the semantics of conflit resolution in truth maintenance systems. Technical report, Univ. of Utrecht\u201d."},{"key":"CIT0022","volume-title":"7th Int. Conf. on LP.","author":"Kowalski R.","year":"1990"},{"key":"CIT0023","unstructured":"Lifschitz, V. 1992. \u201cMinimal belief and negation as failure. Technical report, Dep. of Computer Science and Dep. of Philisophy, Univ. of Texas at Austin\u201d."},{"key":"CIT0024","unstructured":"Lamarre, P. and Shoham, Y. 1993. \u201cOn knowledge, certainty, and belief (draft). Personal communication of the second author, Stanford Univ.\u201d."},{"key":"CIT0025","first-page":"101","volume-title":"2nd Int. Ws. on LP & NMR","author":"Lifschitz V.","year":"1993"},{"key":"CIT0026","first-page":"326","volume-title":"Readings in Nonmonotonic Reasoning","author":"Minker J.","year":"1987"},{"key":"CIT0027","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"Moore R.","year":"1985","journal-title":"Artificial Intelligence"},{"key":"CIT0028","first-page":"115","volume-title":"on LP & NMR","author":"Marek V.","year":"1993"},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"Nelson D.","year":"1949","journal-title":"JSL"},{"key":"CIT0030","first-page":"102","volume-title":"European Conf. on AI","author":"Pereira L. M.","year":"1992"},{"key":"CIT0031","first-page":"601","volume-title":"10th Int. Conf. on LP","author":"Pereira L. M.","year":"1993"},{"key":"CIT0032","first-page":"105","volume-title":"LP & NMR","author":"Pereira L. M.","year":"1991"},{"key":"CIT0033","first-page":"475","volume-title":"8th Int. Conf. on LP","author":"Pereira L. M.","year":"1991"},{"key":"CIT0034","first-page":"339","volume-title":"LNAI","author":"Pereira L. M.","year":"1992"},{"key":"CIT0035","volume":"17","author":"Pereira L. M.","year":"1993","journal-title":"Journal of Logic Programming. Special issue on Nonmonotonic reasoning"},{"key":"CIT0036","first-page":"316","volume-title":"on LP & NMR","author":"Pereira L. M.","year":"1993"},{"key":"CIT0037","first-page":"457","volume-title":"2nd Int. Ws. on LP & NMR","author":"Pearce D.","year":"1993"},{"key":"CIT0038","first-page":"321","volume-title":"Formal Techniques in AI, a Sourcebook","author":"Przymusinska H.","year":"1990"},{"key":"CIT0039","first-page":"459","volume-title":"7th Int. Conf. on LP","author":"Przymusinski T.","year":"1990"},{"key":"CIT0040","first-page":"3","volume-title":"LP & NMR","author":"Przymusinski T.","year":"1991"},{"key":"CIT0041","volume-title":"ILPS'91 Ws. in Disjunctive Logic Programs","author":"Przymusinski T.","year":"1991"},{"key":"CIT0042","unstructured":"Przymusinski, T. 1993. \u201cStatic semantics for normal and disjunctive programs. Technical report, Dep. of Computer Science, Univ. of California at Riverside\u201d."},{"key":"CIT0043","first-page":"55","volume-title":"Logic and DataBases","author":"Reiter R.","year":"1978"},{"key":"CIT0044","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Reiter R.","year":"1980","journal-title":"Artificial Intelligence"},{"key":"CIT0045","first-page":"260","volume-title":"LP & NMR","author":"Schwarz G.","year":"1991"},{"key":"CIT0046","first-page":"357","volume-title":"LNCS","author":"Wagner G.","year":"1991"},{"key":"CIT0047","first-page":"300","volume-title":"2nd Int. Ws. on LP & NMR","author":"Wagner G.","year":"1993"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:27:12Z","timestamp":1497972432000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1995.10510842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1080\/11663081.1995.10510842"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1995.10510842","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}