{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T09:04:15Z","timestamp":1772355855286,"version":"3.50.1"},"reference-count":13,"publisher":"World Scientific Pub Co Pte Ltd","issue":"supp02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Unc. Fuzz. Knowl. Based Syst."],"published-print":{"date-parts":[[2003,11]]},"abstract":"<jats:p>This paper is a sequel to Leitgeb<jats:sup>7<\/jats:sup>. We show that certain networks called 'inhibition nets' may be regarded as mechanisms drawing nonmonotonic inferences if only an interpretation of net states as states of belief is introduced. We prove that each of the cumulative logical systems studied by Kraus et al.<jats:sup>6<\/jats:sup>are sound and complete with respect to certain classes of such interpreted inhibition nets. Thus, there is an adequate cognitive network semantics for the systems C, CL, P, CM, and M of (nonmonotonic) logic.<\/jats:p>","DOI":"10.1142\/s0218488503002454","type":"journal-article","created":{"date-parts":[[2004,1,13]],"date-time":"2004-01-13T09:14:02Z","timestamp":1073985242000},"page":"105-135","source":"Crossref","is-referenced-by-count":7,"title":["NONMONOTONIC REASONING BY INHIBITION NETS II"],"prefix":"10.1142","volume":"11","author":[{"given":"HANNES","family":"LEITGEB","sequence":"first","affiliation":[{"name":"Department of Philosophy, University of Salzburg, Franziskanergasse 1, Salzburg, A-5020, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","unstructured":"C.\u00a0Balkenius and P.\u00a0G\u00e4rdenfors, Principles of Knowledge Representation and Reasoning, eds. J. A.\u00a0Allen, R.\u00a0Fikes and E.\u00a0Sandewall (Morgan Kaufmann, San Mateo, 1991)\u00a0pp. 32\u201339."},{"key":"rf2","series-title":"An Overview","volume-title":"Nonmonotonic Reasoning","author":"Brewka G.","year":"1997"},{"key":"rf3","unstructured":"J.\u00a0Dix, Logic, Action, and Information, eds. A.\u00a0Fuhrmann and H.\u00a0Rott (de Gruyter, Berlin, 1996)\u00a0pp. 241\u2013327."},{"key":"rf4","doi-asserted-by":"crossref","unstructured":"D.\u00a0Dubois and H.\u00a0Prade, Conditionals: From Philosophy to Computer Science, eds. G.\u00a0Crocco (Oxford University Press, Oxford, 1996)\u00a0pp. 301\u2013336.","DOI":"10.1093\/oso\/9780198538615.003.0010"},{"key":"rf5","doi-asserted-by":"crossref","unstructured":"P.\u00a0G\u00e4rdenfors, Logic and Information Flow, eds. J.\u00a0Van Eijck and A.\u00a0Visser (The MIT Press, Cambridge, 1994)\u00a0pp. 49\u201377.","DOI":"10.7551\/mitpress\/4286.003.0006"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00073-X"},{"key":"rf9","first-page":"37","volume":"287","author":"Leitgeb H.","journal-title":"Informatikberichte"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90056-6"},{"key":"rf11","unstructured":"V.\u00a0Lifschitz, Principles of Knowledge Representation, ed. G.\u00a0Brewka (CSLI, Stanford, 1996)\u00a0pp. 69\u2013127."},{"key":"rf12","doi-asserted-by":"crossref","unstructured":"D.\u00a0Makinson, Handbook of Logic in Artificial Intelligence and Logic Programming 3, eds. D. M.\u00a0Gabbay, C. J.\u00a0Hogger and J. A.\u00a0Robinson (Clarendon Press, Oxford, 1994)\u00a0pp. 35\u2013110.","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"rf13","volume-title":"Probabilistic Reasoning in Intelligent Systems","author":"Pearl J.","year":"1988"},{"key":"rf14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5236.001.0001","volume-title":"Parallel Distributed Processing","volume":"1","author":"Rumelhart D. E.","year":"1986"}],"container-title":["International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218488503002454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T22:03:17Z","timestamp":1705010597000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218488503002454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11]]},"references-count":13,"journal-issue":{"issue":"supp02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2003,11]]}},"alternative-id":["10.1142\/S0218488503002454"],"URL":"https:\/\/doi.org\/10.1142\/s0218488503002454","relation":{},"ISSN":["0218-4885","1793-6411"],"issn-type":[{"value":"0218-4885","type":"print"},{"value":"1793-6411","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,11]]}}}