{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T21:29:04Z","timestamp":1672262944622},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00851348","type":"journal-article","created":{"date-parts":[[2004,12,21]],"date-time":"2004-12-21T09:48:53Z","timestamp":1103622533000},"page":"3-16","source":"Crossref","is-referenced-by-count":13,"title":["Operational concepts of nonmonotonic logics part 1: Default logic"],"prefix":"10.1007","volume":"8","author":[{"given":"G.","family":"Antoniou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Sperschneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Antoniou, G. & Langetepe, E. (1994). Relating Some Classes of Default Logic to Normal Logical Programs with Standard Semantics.Journal of Automated Reasoning (submitted)."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Besnard, P. (1989).An Introduction to Default Logic. Springer.","DOI":"10.1007\/978-3-662-05689-9"},{"key":"CR3","volume-title":"Proc. IFAC Symposium Artificial Intelligence","author":"W. Bibel","year":"1984","unstructured":"Bibel, W. (1984). Knowledge Representation from a Deductive Point of View.Proc. IFAC Symposium Artificial Intelligence. Pergamon Press: Oxford."},{"key":"CR4","unstructured":"Brewka, G. (1991a).Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press 1991."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"51","author":"G. Brewka","year":"1991","unstructured":"Brewka, G. (1991b). Cumulative Default Logic ? In Defence of Nonmonotonic Inference Relations.Artificial Intelligence 51: 183?205.","journal-title":"Artificial Intelligence"},{"key":"CR6","series-title":"Technical Report","volume-title":"A Framework for Cumulative Default Logics","author":"G. Brewka","year":"1992","unstructured":"Brewka, G. (1992).A Framework for Cumulative Default Logics. Technical Report TR-92-042, International Computer Science Institute, Berkeley."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Dimopoulos, Y. & Magirou, V. (1994). A Graph Theoretic Approach to Default Logic.Information and Computation (forthcoming).","DOI":"10.1006\/inco.1994.1058"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D. W. Etherington","year":"1987","unstructured":"Etherington, D. W. (1987). Formalizing Nonmonotonic Reasoning Systems.Artificial Intelligence 31: 41?85.","journal-title":"Artificial Intelligence"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Froidevaux, C. & Menjin, J. (1992).A Framework for Default Logics. Technical Report 755, Universite de Paris-Sud.","DOI":"10.1007\/BFb0023427"},{"key":"CR10","unstructured":"Gelfond, M., Przymusinska, H., Lifschitz, V. & Truszczynski, M. (1991). Disjunctive Defaults.Proc. 2nd International Conference on Knowledge Representation and Reasoning. Morgan Kaufmann."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Hopkins, M. S. (1993). Default Logic: Orderings and Extensions. InProc. European Conference on Symbolic and Quantitative Approaches to Uncertainty, Springer LNCS 747.","DOI":"10.1007\/BFb0028198"},{"key":"CR12","unstructured":"Junker, U. & Konolige, K. (1990). Computing the Extensions of Autoepistemic and Default Logics with a TMS. InProc. AAAI-90, 278?283."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Levy, F. (1991). Computing Extensions of Default Theories. InProc. European Conference on Symbolic and Quantitative Approaches to Uncertainty, Springer LNCS 548.","DOI":"10.1007\/3-540-54659-6_92"},{"key":"CR14","unstructured":"Lucaszewicz, W. (1990).Non-Monotonic Reasoning. Ellis Horwood."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Makinson, D. (1989). General Theory of Cumulative Inference. InProc. 2nd International Workshop on Nonmonotonic Reasoning, LNCS 346, Springer.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Marek, V. W. & Truszczynski, M. (1993).Nonmonotonic Logic. Springer 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"CR17","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1978","unstructured":"Mendelson, E. (1978).Introduction to Mathematical Logic. 2. ed., Van Nostrand: New York.","edition":"2. ed."},{"key":"CR18","unstructured":"Moore, R. C. (1982). The Role of Logic in Knowledge Representation and Commonsense Reasoning.Proc. AAAI-82."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0004-3702(91)90049-P","volume":"47","author":"N. J. Nilsson","year":"1991","unstructured":"Nilsson, N. J. (1991). Logic and Artificial Intelligence.Artificial 47: 31?56.","journal-title":"Artificial"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Poole, D. (1988). A Logical Framework for Default Reasoning.Artificial Intelligence 36.","DOI":"10.1016\/0004-3702(88)90077-X"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R. (1980). A Logic for Default Reasoning.Artificial Intelligence 13: 81?132.","journal-title":"Artificial Intelligence"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Schwind, C. (1990). A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic. InProc. 10th International Conference on Automated Deduction. Springer LNC 449.","DOI":"10.1007\/3-540-52885-7_112"},{"key":"CR23","unstructured":"Sperschneider, V. & Antoniou, G. (1991).Logic: A Foundation for Computer Science. Addison-Wesley."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00851348.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00851348\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00851348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T21:10:23Z","timestamp":1586034623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00851348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00851348"],"URL":"https:\/\/doi.org\/10.1007\/bf00851348","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}