Non-Standard Inferences in Description Logics by Ralf Ksters
This volume, which is a revised version of the author's PhD thesis, provides a formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis.-
Computational Logic in Multi-Agent Systems
-
The Design of Intelligent Agents
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Computational and Corpus-Based Phraseology
-
Argumentation in Multi-Agent Systems
-
New Frontiers in Applied Data Mining
-
Automated Deduction in Geometry
-
Automated Reasoning with Analytic Tableaux and Related Methods
-
Machine Learning and Knowledge Discovery in Databases
-
Agent and Multi-Agent Systems: Technologies and Applications
-
Modeling Decisions for Artificial Intelligence
-
Explainable, Transparent Autonomous Agents and Multi-Agent Systems
-
Scalable Uncertainty Management
-
Artificial Intelligence in Education
-
Natural Language Processing and Chinese Computing
-
Artificial Intelligence in Medicine
-
Foundations of Intelligent Systems
-
Trends and Applications in Knowledge Discovery and Data Mining
-
Biomimetic and Biohybrid Systems
-
Engineering Psychology and Cognitive Ergonomics
-
Theory and Applications of Formal Argumentation
-
Towards Autonomous Robotic Systems
-
Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection
-
Chinese Lexical Semantics
-
Intelligent Information and Database Systems
-
Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems
-
Advances in Knowledge Discovery and Data Mining
-
Advances in Artificial Intelligence
-
Artificial Intelligence
-
Case-Based Reasoning Research and Development
-
Artificial Intelligence and Soft Computing
-
Intelligent Systems
-
Advances in Nonlinear Speech Processing
-
AI 2024: Advances in Artificial Intelligence
-
Automata for Branching and Layered Temporal Structures
-
Integrated Uncertainty in Knowledge Modelling and Decision Making
-
Applications of Declarative Programming and Knowledge Management
-
Advances in Knowledge Discovery and Data Mining, Part II
-
The Multi-Agent Programming Contest 2019
-
Formal Concept Analysis
| SKU | Unavailable |
| ISBN 13 | 9783540423973 |
| ISBN 10 | 3540423974 |
| Title | Non-Standard Inferences in Description Logics |
| Author | Ralf Ksters |
| Series | Lecture Notes In Artificial Intelligence |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2001-07-25 |
| Number of pages | 254 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |