02798nam 2200613Ia 450 991045042960332120200520144314.01-281-37254-49786611372545981-256-780-1(CKB)1000000000247211(EBL)244548(OCoLC)475965534(SSID)ssj0000152197(PQKBManifestationID)11147135(PQKBTitleCode)TC0000152197(PQKBWorkID)10339912(PQKB)10816995(MiAaPQ)EBC244548(WSP)00001672 (Au-PeEL)EBL244548(CaPaEBR)ebr10106580(CaONFJC)MIL137254(EXLCZ)99100000000024721120050502d2005 uy 0engur|n|---|||||txtccrExplanatory nonmonotonic reasoning[electronic resource] /Alexander BochmanHackensack, NJ World Scientificc20051 online resource (424 p.)Advances in logic ;v. 4Description based upon print version of record.981-256-101-3 Includes bibliographical references (p. 395-402) and index.Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; IndexMany approaches in the field of nonmonotonic and ""commonsense"" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programAdvances in logic ;v. 4.Nonmonotonic reasoningArtificial intelligenceElectronic books.Nonmonotonic reasoning.Artificial intelligence.005.115Bochman Alexander1955-521861MiAaPQMiAaPQMiAaPQBOOK9910450429603321Explanatory nonmonotonic reasoning838096UNINA01103nam a22002651i 450099100213104970753620040302151442.0040407s1984 it a||||||||||||||||ita b12875405-39ule_instARCHE-085502ExLDip.to Scienze StoricheitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.709.024Fra Rinascimento, manierismo e realtà :scritti di storia dell'arte in memoria di Anna Maria Brizio /a cura di Pietro C. Marani[Firenze] :Giunti Barbera,stampa 1984X, 203 p., [61] c. di tav. :ill. ;25 cmArteStoriaSec. 15.ArteBrizio, Anna MariaStudi criticiBrizio, Anna MariaMarani, Pietro C..b1287540502-04-1416-04-04991002131049707536LE009 ARTE 702-212009000388963le009-E0.00-no 01010.i1343667316-04-04Fra Rinascimento, manierismo e realtà300256UNISALENTOle00916-04-04ma -itait 01