Franz Baader
- Auteur
Franz (Rheinisch-Westfalische Technische Hochschule Aachen Germany) Baader
Boeken van Franz Baader
Franz Baader
Ian Horrocks
Carsten Lutz
Ulrike Sattler
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 reason about this knowledge.
Meer
Franz Baader
Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) Baader
Tobias Nipkow
Tobias (Technische Universitat Munchen) Nipkow
Term Rewriting and All That
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm.
Meer
Franz Baader
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA 2007), which was held during June 26–28, 2007, on the campus of the Conservatoire National des Arts et M´ etiers (CNAM) in Paris, France.
Meer
Franz Baader
Andrei Voronkov
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, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (or- nized by Matthias Baaz).
Meer
Franz Baader
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.
Meer