Verwandte Artikel zu 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
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2019
- ISBN 10 3030221032
- ISBN 13 9783030221034
- EinbandPaperback
- SpracheEnglisch
- Kontakt zum HerstellerNicht verfügbar
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
