Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Description Logic, Theory Combination, and All That
  • Produktbild: Description Logic, Theory Combination, and All That
Band 11560

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Aus der Reihe Theoretical Computer Science and General Issues

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.2019

Abbildungen

XIII, 1230 illus., 14 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Carsten Lutz + weitere

Verlag

Springer

Seitenzahl

662

Maße (L/B/H)

23.5/15.5/3.7 cm

Gewicht

1007 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-22101-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.2019

Abbildungen

XIII, 1230 illus., 14 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

662

Maße (L/B/H)

23.5/15.5/3.7 cm

Gewicht

1007 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-22101-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Description Logic, Theory Combination, and All That
  • Produktbild: Description Logic, Theory Combination, and All That

  • 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 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.