Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday /: essays dedicated to Franz Baader on the occasion of his 60th birthday. ([2019])

• Record Type: Book
• Further Information: Note: Carsten Lutz [and 4 others], (eds.).
• Editors: Lutz, Carsten, 1971-
• Other Names: Baader, Franz honouree.
• Contents: A 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 005.101/5113; Computer logic; Electronic books
• Languages: English
• ISBNs: 9783030221027; 3030221024
• Related ISBNs: 3030221016; 9783030221010
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.