{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:16Z","timestamp":1725663556929},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543459"},{"type":"electronic","value":"9783540475798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54345-7_79","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:43:04Z","timestamp":1330209784000},"page":"357-366","source":"Crossref","is-referenced-by-count":0,"title":["Syntax and semantics of a monotonic framework for non-monotonic reasoning"],"prefix":"10.1007","author":[{"given":"M. A. Nait","family":"Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"36_CR1","first-page":"218","volume":"AAAI-87","author":"B. Haugh","year":"1987","unstructured":"Haugh B. Simple causal minimizations for temporal persistence and projection, Proc. AAAI-87, (1987), pp. 218\u2013223","journal-title":"Proc."},{"key":"36_CR2","first-page":"91","volume-title":"Problems in the Philosophy of Science","author":"I. Lakatos","year":"1970","unstructured":"Lakatos I. Falsification and the methodology of scientific research programmes, in Problems in the Philosophy of Science, Lakatos and Musgrave (eds.), North Holland, Amsterdam (1970), pp. 91\u2013196"},{"key":"36_CR3","first-page":"433","volume":"225","author":"M. A. Nait Abdallah","year":"1986","unstructured":"Nait Abdallah M. A. Procedures in logic programming, Springer LNCS 225 (1986), pp. 433\u2013447","journal-title":"Springer LNCS"},{"key":"36_CR4","first-page":"60","volume":"210","author":"M. A. Nait Abdallah","year":"1986","unstructured":"Nait Abdallah M. A. Ions and local definitions in logic programming, Springer LNCS 210 (1986), pp. 60\u201372","journal-title":"Springer LNCS"},{"key":"36_CR5","first-page":"545","volume":"233","author":"M. A. Nait Abdallah","year":"1986","unstructured":"Nait Abdallah M. A. AL-KHOWARIZMI: A formal system for higher order logic programming, Springer LNCS 233 (1986), pp. 545\u2013553","journal-title":"Springer LNCS"},{"key":"36_CR6","first-page":"11","volume":"267","author":"M. A. Nait Abdallah","year":"1987","unstructured":"Nait Abdallah M. A. Logic programming with ions, Springer LNCS 267 (1987), pp. 11\u201320","journal-title":"Springer LNCS"},{"key":"36_CR7","first-page":"339","volume":"380","author":"M. A. Nait Abdallah","year":"1989","unstructured":"Nait Abdallah M. A. An extended framework for default reasoning, Springer LNCS 380 (1989), pp. 339\u2013348","journal-title":"Springer LNCS"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M. A. A logico-algebraic approach to the model theory of knowledge, Theoretical Computer Science (1989)","DOI":"10.1016\/0304-3975(89)90135-7"},{"key":"36_CR9","unstructured":"Nait Abdallah M. A. Default ionic logic: A continuous framework for reasoning with partial information (in preparation)"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M. A. Kernel knowledge versus belt knowledge in default reasoning: a logical approach, Proceedings of the Second International Conference on Computing and Information, Carleton, Canada, (May 1991)","DOI":"10.1007\/3-540-54029-6_217"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Quine W.V.O. The problem of interpreting modal logic, Journal of Symbolic Logic, (1947).","DOI":"10.2307\/2267247"},{"key":"36_CR12","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. A logic for default reasoning, Artificial Intelligence 13, (1980), pp. 81\u2013132","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54345-7_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:02Z","timestamp":1619572862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54345-7_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543459","9783540475798"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-54345-7_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}