000 05340nam a22006615i 4500
001 978-3-030-22102-7
003 DE-He213
005 20240730175936.0
007 cr nn 008mamaa
008 190531s2019 sz | s |||| 0|eng d
020 _a9783030221027
_9978-3-030-22102-7
024 7 _a10.1007/978-3-030-22102-7
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aDescription Logic, Theory Combination, and All That
_h[electronic resource] :
_bEssays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
_cedited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXIII, 662 p. 1230 illus., 14 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v11560
505 0 _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 Contextin 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.
520 _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.
650 0 _aMachine theory.
_9118361
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science.
_99832
650 0 _aInformation technology
_xManagement.
_95368
650 0 _aSoftware engineering.
_94138
650 0 _aComputer networks .
_931572
650 1 4 _aFormal Languages and Automata Theory.
_9118362
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aComputer Application in Administrative Data Processing.
_931588
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Communication Networks.
_9118363
700 1 _aLutz, Carsten.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9118364
700 1 _aSattler, Uli.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9118365
700 1 _aTinelli, Cesare.
_eeditor.
_0(orcid)
_10000-0002-6726-775X
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9118366
700 1 _aTurhan, Anni-Yasmin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9118367
700 1 _aWolter, Frank.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9118368
710 2 _aSpringerLink (Online service)
_9118369
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030221010
776 0 8 _iPrinted edition:
_z9783030221034
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v11560
_9118370
856 4 0 _uhttps://doi.org/10.1007/978-3-030-22102-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c90110
_d90110