LEADER 03968nam  22006735  450 
001 996465479903316
005 20200629124219.0
010   $a3-540-47280-0
024 7 $a10.1007/BFb0031919
035   $a(CKB)1000000000233853
035   $a(SSID)ssj0000325193
035   $a(PQKBManifestationID)11280376
035   $a(PQKBTitleCode)TC0000325193
035   $a(PQKBWorkID)10321017
035   $a(PQKB)10384722
035   $a(DE-He213)978-3-540-47280-3
035   $a(PPN)155201832
035   $a(EXLCZ)991000000000233853
100   $a20121227d1992      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aNonclassical Logics and Information Processing$b[electronic resource] $eInternational Workshop, Berlin, Germany, November 9-10, 1990. Proceedings /$fedited by David Pearce, Heinrich Wansing
205   $a1st ed. 1992.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992.
215   $a1 online resource (IX, 175 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v619
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-55745-8 
327   $aAlgebraic aspects of the relational knowledge representation: Modal relation algebras -- A logic for memory -- Actions with preconditions and postconditions -- Testclasses and closed world assumptions for non-horn theories -- Reasoning with negative information, II: Hard negation, strong negation and logic programs -- Lindenbaum-algebraic semantics of logic programs -- Conditional logics and cumulative logics -- Semantics of nonmonotonic reasoning in logic programming -- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic -- Cut-elimination in logics with definitional reflection.
330   $aThis volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory. The classification is only a rough guide since the four areas overlap considerably.
410  0$aLecture Notes in Artificial Intelligence ;$v619
606   $aComputers
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial intelligence
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aComputers.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aTheory of Computation.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Foundations.
615 24$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
676   $a006.3
702   $aPearce$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWansing$b Heinrich$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465479903316
996   $aNonclassical logics and information processing$91492016
997   $aUNISA