03968nam 22006735 450 99646547990331620200629124219.03-540-47280-010.1007/BFb0031919(CKB)1000000000233853(SSID)ssj0000325193(PQKBManifestationID)11280376(PQKBTitleCode)TC0000325193(PQKBWorkID)10321017(PQKB)10384722(DE-He213)978-3-540-47280-3(PPN)155201832(EXLCZ)99100000000023385320121227d1992 u| 0engurnn|008mamaatxtccrNonclassical Logics and Information Processing[electronic resource] International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings /edited by David Pearce, Heinrich Wansing1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (IX, 175 p.) Lecture Notes in Artificial Intelligence ;619Bibliographic Level Mode of Issuance: Monograph3-540-55745-8 Algebraic 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.This 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.Lecture Notes in Artificial Intelligence ;619ComputersComputer logicMathematical logicArtificial intelligenceTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computers.Computer logic.Mathematical logic.Artificial intelligence.Theory of Computation.Logics and Meanings of Programs.Mathematical Logic and Foundations.Artificial Intelligence.Mathematical Logic and Formal Languages.006.3Pearce Davidedthttp://id.loc.gov/vocabulary/relators/edtWansing Heinrichedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465479903316Nonclassical logics and information processing1492016UNISA