Non-Standard Inferences in Description Logics
Subtitle: From Foundations and Definitions to Algorithms and Analysis (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 6, 2001
Language: eng
Format: Paperback
Number of pages: 250
ISBN-13: 9783540423973
Subjects: Artificial intelligence; Computer Programming; General; Information Theory; Knowledge Engineering; Computers; Computers - General Information; Computer Books: Languages; Artificial Intelligence - General; Expert Systems; AI Logics; Computers / Artificial Intelligence; Formal Reasoning; Knowledge-Based Systems; Logic-Based Knowledge Representation; Mathematical Logics; Non-Standard Inference; Nonclassical Logics; Description logics