Sökt på: Sökresultat
totalt 19 träffar
Term Rewriting and Applications
The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the …
Logic for Programming, Artificial Intelligence, and Reasoning
Automated Deduction - CADE-19
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are …
An Introduction to Description Logic
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can …
Logic for Programming, Artificial Intelligence, and Reasoning
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, …
Description Logic Handbook
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides …
The Description Logic Handbook
The Description Logic Handbook - unique reference in field of knowledge representation.
Term Rewriting and All That
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
Description Logic Handbook
Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. They are embodied in …
KI 2001: Advances in Artificial Intelligence
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference …
Term Rewriting and Applications
The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the …
Introduction to Description Logic
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can …