Listing 1 - 2 of 2 |
Sort by
|
Choose an application
681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Description logics --- 681.3*F41 --- Logics, Description --- Knowledge representation (Information theory) --- Predicate (Logic) --- Handbooks, manuals, etc. --- Description logics - Handbooks, manuals, etc.
Choose an application
Description Logics are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses.
681.3*F4 --- 681.3*H1 --- 681.3*I23 --- Description logics --- Logics, Description --- Knowledge representation (Information theory) --- Predicate (Logic) --- Mathematical logic and formal languages (Theory of computation) --- Models and principles (Information systems) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*H1 Models and principles (Information systems) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Logiques de description --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Description logics - Handbooks, manuals, etc.
Listing 1 - 2 of 2 |
Sort by
|