{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:38:06Z","timestamp":1725626286466},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540128717"},{"type":"electronic","value":"9783642693915"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69391-5_12","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T10:13:31Z","timestamp":1319710411000},"page":"118-142","source":"Crossref","is-referenced-by-count":3,"title":["Logische Systeme und Repr\u00e4sentationsprobleme"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Habel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Journal of Philosophy 78","volume-title":"Scenes and other situations","author":"J Barwise","year":"1981","unstructured":"Barwise, Jon (1981): \u201cScenes and other situations\u201d. Journal of Philosophy 78."},{"key":"12_CR2","series-title":"Linguistics and Philosophy 4","volume-title":"Generalized quantifiers and natural language","author":"J Barwise","year":"1981","unstructured":"Barwise, J. \/ Cooper, E. (1981): \u201cGeneralized quantifiers and natural language\u201d. Linguistics and Philosophy 4."},{"key":"12_CR3","volume-title":"Situations and Attitudes","author":"J Barwise","year":"1983","unstructured":"Barwise, J. \/ Perry, J. (1983): Situations and Attitudes. MIT-Press: Cambridge, Mass."},{"key":"12_CR4","volume-title":"Truth, Syntax and Modality","author":"N Belnap","year":"1973","unstructured":"Belnap, N. (1973): \u201cRestricted quantification and conditional assertion\u201d, in: H. Leblanc (ed.): Truth, Syntax and Modality. North Holland: Amsterdam."},{"key":"12_CR5","volume-title":"Contemporary Aspects of Philosophy","author":"I Belnap","year":"1976","unstructured":"Belnap, I. (1976): \u201cHow a computer should think\u201d in: G. Ryle (ed.): Contemporary Aspects of Philosophy. Oriel Press: Stocksfield."},{"key":"12_CR6","series-title":"TU M\u00fcnchen, Bericht ATP-19-V-83","volume-title":"Knowledge representation from a deductive point of view","author":"W Bibel","year":"1983","unstructured":"Bibel, W. (1983): \u201cKnowledge representation from a deductive point of view\u201d. TU M\u00fcnchen, Bericht ATP-19-V-83."},{"key":"12_CR7","series-title":"Artificial Intelligence 13","volume-title":"Special Issue on Non-Monotonic Logic","year":"1980","unstructured":"Bobrow, D. (ed.) (1980): \u201cSpecial Issue on Non-Monotonic Logic\u201d. Artificial Intelligence 13."},{"key":"12_CR8","volume-title":"Computability and Logic","author":"G Boolos","year":"1980","unstructured":"Boolos, G. \/ Jeffrey, R. (1980, 2nd.ed.): Computability and Logic. Cambridge Univ. Press: Cambridge.","edition":"2"},{"key":"12_CR9","volume-title":"Aspects of the Theory of Syntax","author":"N Chomsky","year":"1965","unstructured":"Chomsky, N. (1965): Aspects of the Theory of Syntax. MIT Press: Cambridge, Mass.."},{"key":"12_CR10","series-title":"Journ. Symbolic Logic 1","volume-title":"A note on the Intscheidungsproblem","author":"A Church","year":"1936","unstructured":"Church, A. (1936): \u201cA note on the Intscheidungsproblem\u201d. Journ. Symbolic Logic 1."},{"key":"12_CR11","series-title":"Artificial Intelligence 12","volume-title":"A truth maintenance system","author":"J Doyle","year":"1979","unstructured":"Doyle, J. (1979): \u201cA truth maintenance system\u201d Artificial Intelligence 12."},{"key":"12_CR12","volume-title":"Handbookof Mathematical Logic","author":"H Enderton","year":"1977","unstructured":"Enderton, H. (1977): \u201cElements of recursion theory\u201d, in: J. Barwise (ed.): Handbook of Mathematical Logic. North-Holland: Amsterdam."},{"key":"12_CR13","volume-title":"Begriffsschrift","author":"G Frege","year":"1879","unstructured":"Frege, G. (1879): Begriffsschrift. Louis Nebert: Halle."},{"key":"12_CR14","volume-title":"Klassenlogik. BI: Mannheim","author":"M Glubrecht","year":"1983","unstructured":"Glubrecht, M. \/ Oberschelp, A. \/ Todt, G. (1983): Klassenlogik. BI: Mannheim."},{"key":"12_CR15","series-title":"Proceedings of the COLING82","volume-title":"Referential nets with attributes","author":"Ch Habel","year":"1982","unstructured":"Habel, Ch. (1982): \u201cReferential nets with attributes\u201d. in: J. Horecky (ed.): Proceedings of the COLING82. North-Holland: Amsterdam."},{"key":"12_CR16","volume-title":"Meaning, Use, and Interpretation of Language","author":"Ch Habel","year":"1983","unstructured":"Habel, Ch. (1983): \u201cInferences - the base of semantics?\u201d in: R. B\u00e4uerle \/ Ch. Schwarze \/ A. v. Stechow (eds.): Meaning, Use, and Interpretation of Language, de Gruyter: Berlin."},{"key":"12_CR17","series-title":"Vortrag: Arbeitstagung Sprache & Logik, Kiel","volume-title":"Probleme mit UFOs und anderen seltsamen Objekten","author":"Ch Habel","year":"1976","unstructured":"Habel, Ch. (ms): \u201cProbleme mit UFOs und anderen seltsamen Objekten\u201d Vortrag: Arbeitstagung Sprache & Logik, Kiel."},{"key":"12_CR18","unstructured":"Hayes, P. (1977): \u201cIn defence of logic\u201d. 5 IJCAI, Cambridge, Mass."},{"key":"12_CR19","volume-title":"Frame Conceptions and Text Understanding","author":"P Hayes","year":"1980","unstructured":"Hayes, P. (1980): \u201cThe logic of frames\u201d, in D. Metzing (ed.): Frame Conceptions and Text Understanding, de Gruyter: Berlin"},{"volume-title":"Aufz\u00e4hlbarkeit, Entscheidbarkeit, Berechenbarkeit","year":"1971","key":"12_CR20","unstructured":"Hermes, H. (1971, 2nd. ed.): Aufz\u00e4hlbarkeit, Entscheidbarkeit, Berechenbarkeit. Springer: Berlin"},{"key":"12_CR21","volume-title":"Grundz\u00fcge der theoretischen Logik. (6. Aufl.)","author":"D Hilbert","year":"1972","unstructured":"Hilbert, D. \/ Ackermann, W. (1972): Grundz\u00fcge der theoretischen Logik. (6. Aufl.). Springer: Berlin."},{"key":"12_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86894-8","volume-title":"Grundlagen der Mathematik I (2.Aufl.)","author":"D Hilbert","year":"1968","unstructured":"Hilbert, D. \/ Bernays, P. (1968): Grundlagen der Mathematik I (2.Aufl.). Springer: Berlin."},{"key":"12_CR23","series-title":"Journal of Symbolic Logic 31","volume-title":"Rescher s plurality quantification","author":"D Kaplan","year":"1966","unstructured":"Kaplan, D. (1966): \u201cRescher s plurality quantification\u201d Journal of Symbolic Logic 31."},{"key":"12_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-8174-4","volume-title":"Elementare Logik","author":"vF Kutschera","year":"1967","unstructured":"v. Kutschera, F. (1967): Elementare Logik. Springer Verlag: Wien."},{"key":"12_CR25","volume-title":"Automated Theorem Proving: A Logical Basis","author":"D Loveland","year":"1978","unstructured":"Loveland, D. (1978): Automated Theorem Proving: A Logical Basis. North-Holland: Amsterdam."},{"key":"12_CR26","series-title":"Journal of the ACM 29","volume-title":"Nonmonotonic logic II: nonmonotonic modal theories","author":"D McDermott","year":"1982","unstructured":"McDermott, D. (1982): \u201cNonmonotonic logic II: nonmonotonic modal theories\u201d. Journal of the ACM 29."},{"key":"12_CR27","series-title":"Artificial Intelligence 13","volume-title":"Non-Monotonic Logic I","author":"D McDermott","year":"1980","unstructured":"McDermott, D. \/ Doyle, J. (1980): \u201cNon-Monotonic Logic I\u201d. Artificial Intelligence 13."},{"key":"12_CR28","series-title":"MIT: AI-Lab. Memo 306","volume-title":"A Framework for Representing Knowledge","author":"M Minsky","year":"1974","unstructured":"Minsky, M. (1974): A Framework for Representing Knowledge. MIT: AI-Lab. Memo 306."},{"key":"12_CR29","volume-title":"Semantic considerations on nonmonotonic logic","author":"R Moore","year":"1983","unstructured":"Moore, R. (1983): \u201cSemantic considerations on nonmonotonic logic\u201d. 8th IJCAI (Karslruhe), expanded version: S1I Techn. Note 284."},{"key":"12_CR30","volume-title":"Physical symbol systems","author":"A Newell","year":"1980","unstructured":"Newell, A. (1980): \u201cPhysical symbol systems\u201d. Cognitive Science 4."},{"key":"12_CR31","volume-title":"Logic an Data Bases","author":"R Eeiter","year":"1978","unstructured":"Eeiter, R. (1978): \u201cOn closed world data bases\u201d, in: H. Gallaire \/ J. Minker (eds.): Logic an Data Bases. Plenum Press: New York."},{"key":"12_CR32","volume-title":"A logic for default reasoning","author":"R Reiter","year":"1980","unstructured":"Reiter, R. (1980): \u201cA logic for default reasoning\u201d. Artificial Intelligence 13."},{"key":"12_CR33","volume-title":"Plurality quantification","author":"N Rescher","year":"1962","unstructured":"Rescher, N. (1962): \u201cPlurality quantification\u201d. Journal of Symbolic Logic 27."},{"key":"12_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3546-9","volume-title":"Topics in philosophical logic","author":"N Rescher","year":"1968","unstructured":"Rescher, N. (1968): Topics in philosophical logic. D.Reidel: Dordrecht."},{"key":"12_CR35","volume-title":"Logic: Form and Function","author":"JA Robinson","year":"1979","unstructured":"Robinson, J.A. (1979): Logic: Form and Function. Edinburgh Univ. Press."},{"key":"12_CR36","volume-title":"Natural-Language Processing: Crucible for Computational Theories of Cognition","author":"S Rosenschein","year":"1983","unstructured":"Rosenschein, S. (1983): \u201cNatural-Language Processing: Crucible for Computational Theories of Cognition\u201d. 8th IJCAI (Karlsruhe)."},{"key":"12_CR37","volume-title":"Representation and Understanding","author":"T Winograd","year":"1975","unstructured":"Winograd, T. (1975): \u201cFrame representations and the declarative \/ procedural controversy\u201d. in: D. Bobrow \/ A. Collins (eds.): Representation and Understanding. New York."}],"container-title":["Informatik-Fachberichte","GWAI-83"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69391-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:33:36Z","timestamp":1606257216000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-642-69391-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540128717","9783642693915"],"references-count":37,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-642-69391-5_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}