Articles liés à 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 - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
