
This is an overview of the current state of knowledge along with open problems and perspectives, clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book includes contributions concerning...

Nonstandard Inferences in Description Logics: The Story So Far, Franz Baader and Ralf K sters: Introduction.- Description Logics and Standard Inferences.- Nonstandard Inferences-Motivation and Definitions.- A Structural Characterization of Subsumption.- The Least Common Subsumer.-...