Filter By
Books (11)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Term Rewriting and All That by Franz Baader
RRP: £53.00Booksplease Price: £48.85This 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... -
An Introduction to Description Logic by Franz Baader
RRP: £40.00Booksplease Price: £37.14Description 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... -
An Introduction to Description Logic by Franz Baader 9780521873611
RRP: £73.00Booksplease Price: £70.20Description 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... -
The Description Logic Handbook: Theory, Implementation and Applications by Franz Baader
RRP: £64.00Booksplease Price: £62.15Description 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 a thorough account... -
Frontiers of Combining Systems: First International Workshop, Munich, March 1996 by Franz Baader 9789401066433
Booksplease Price: £46.58- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. - In more... -
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings by Franz Baader 9783540405597
Booksplease Price: £46.58The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers... -
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday by Carsten Lutz 9783030221010
Booksplease Price: £47.08This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover... -
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings by Franz Baader 9783540734475
Booksplease Price: £46.58The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the... -
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings by Franz Baader 9783540426127
Booksplease Price: £46.58This 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 on Arti?cial... -
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings by Moshe Vardi 9783540201014
Booksplease Price: £46.58ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003),... -
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings by Julio Alferes Jose 9783540232421
Booksplease Price: £91.36Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms,...