LEADER 05418nam 22007575 450 001 996466307203316 005 20230330020129.0 010 $a3-030-22102-4 024 7 $a10.1007/978-3-030-22102-7 035 $a(CKB)4100000008493354 035 $a(DE-He213)978-3-030-22102-7 035 $a(MiAaPQ)EBC5927770 035 $a(PPN)254397751 035 $a(EXLCZ)994100000008493354 100 $a20190531d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDescription Logic, Theory Combination, and All That$b[electronic resource] $eEssays Dedicated to Franz Baader on the Occasion of His 60th Birthday /$fedited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XIII, 662 p. 1230 illus., 14 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11560 311 $a3-030-22101-6 327 $aA Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction -- Hierarchic Superposition Revisited -- Theory Combination: Beyond Equality Sharing -- Initial Steps Towards a Family of Regular-Like Plan Description Logics -- Reasoning with Justifiable Exceptions in EL_\bot Contextualized Knowledge Repositories -- Strong Explanations for Nonmonotonic Reasoning -- A KLM Perspective on Defeasible Reasoning for Description Logics -- Temporal Logic Programs with Temporal Description Logic Axioms -- The What-To-Ask Problem for Ontology-Based Peers -- From Model Completeness to Verification of Data Aware Processes -- Situation Calculus meets Description Logics -- Provenance Analysis: A Perspective for Description Logics? -- Extending EL^++ with Linear Constraints on the Probability of Axioms -- Effective query answering with Ontologies and DBoxes -- Checking the Data Complexity of Ontology-Mediated Queries: a Case Study with Non-Uniform CSPs and Polyanna -- Perceptual Context in Cognitive Hierarchies -- Do Humans Reason with E-Matchers? -- Pseudo-contractions as gentle repairs -- FunDL: A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources -- Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty -- Temporally Attributed Description Logics -- Explaining Axiom Pinpointing -- Asymmetric Unification and Disunification -- Building and Combining Matching Algorithms -- Presburger Concept Cardinality Constraints in Very Expressive Description Logics -- A Note on Unification, Subsumption and Unification Type -- 15 Years of Consequence-Based Reasoning -- Maximum Entropy Calculations for the Probabilistic Description Logic ALC^ME -- Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools -- On Bounded-Memory Stream Data Processing with Description Logics. 330 $aThis Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11560 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science 606 $aInformation technology?Management 606 $aSoftware engineering 606 $aComputer networks 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Application in Administrative Data Processing 606 $aSoftware Engineering 606 $aComputer Communication Networks 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aInformation technology?Management. 615 0$aSoftware engineering. 615 0$aComputer networks. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Application in Administrative Data Processing. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 676 $a006.332 702 $aLutz$b Carsten$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSattler$b Uli$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTinelli$b Cesare$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTurhan$b Anni-Yasmin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWolter$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466307203316 996 $aDescription Logic, Theory Combination, and All That$92537328 997 $aUNISA LEADER 03667nam 22006372 450 001 9910826247003321 005 20240405142342.0 010 $a1-317-49277-3 010 $a1-315-71171-0 010 $a1-282-94732-X 010 $a9786612947322 010 $a1-84465-411-7 024 7 $a10.4324/9781315711713 035 $a(CKB)2670000000066693 035 $a(EBL)1886889 035 $a(SSID)ssj0000671829 035 $a(PQKBManifestationID)11422862 035 $a(PQKBTitleCode)TC0000671829 035 $a(PQKBWorkID)10633973 035 $a(PQKB)11602758 035 $a(MiAaPQ)EBC1886889 035 $a(Au-PeEL)EBL1886889 035 $a(CaPaEBR)ebr10455548 035 $a(OCoLC)898104118 035 $a(OCoLC)958107255 035 $a(OCoLC)1187226085 035 $a(FINmELB)ELB136235 035 $a(UkCbUP)CR9781844654116 035 $a(EXLCZ)992670000000066693 100 $a20120626d2009|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAnnihilation $ethe sense and significance of death /$fChristopher Belshaw$b[electronic resource] 210 1$aDurham :$cAcumen Publishing,$d2009. 215 $a1 online resource (xii, 258 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 02 Oct 2015). 311 $a1-84465-134-7 311 $a1-84465-135-5 320 $aIncludes bibliographical references and index. 327 $a1. Death -- 2. Definitions -- 3. Human beings -- 4. Is it bad to die? -- 5. Circumstances and degrees -- 6. Posthumous harms -- 7. An asymmetry -- 8. Numbers -- 9. Cheating death -- Appendix. Brain death--history and debate. 330 $aThe ever-present possibility of death forces upon us the question of life’s meaning and for this reason death has been a central concern of philosophers throughout history. From Socrates to Heidegger, philosophers have grappled with the nature and significance of death. In Annihilation, Christopher Belshaw explores two central questions at the heart of philosophy’s engagement with death: what is death; and is it bad that we die? Belshaw begins by distinguishing between literal and metaphorical uses of the term and offers a unified and biological account of death, denying that death brings about non-existence. How our death relates to the death of the brain is explored in detail. Belshaw considers the common-sense view that death is often bad for us by examining the circumstances that might make it bad as well as the grounds for thinking that one death can be worse than another. In addition, Belshaw explores whether we can be harmed after we die and before we were born. The final chapters explore whether we should prevent more deaths and whether, via cryonics, brain transplants, data storage, we might cheat death. Throughout Belshaw shows how questions of personhood and life’s value are bound up with our views on the sense and significance of death. Annihilation’s in-depth analysis and insightful exposition will be welcomed not only by philosophers working on the metaphysics of death but also by students and scholars alike looking for a foundation for discussions of the ethics of abortion, euthanasia, life-support and suicide. 606 $aDeath 606 $aImmortality (Philosophy) 615 0$aDeath. 615 0$aImmortality (Philosophy) 676 $a128.5 700 $aBelshaw$b Christopher$0864734 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910826247003321 996 $aAnnihilation$94043709 997 $aUNINA