Items related to Description Logic, Theory Combination, and All That:...
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2019
- ISBN 10 3030221032
- ISBN 13 9783030221034
- BindingPaperback
- LanguageEnglish
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
