Challenges and Novel Applications for Automated Reasoning

CADE-19 Workshop
July 28, 2003
Miami
USA

Proceedings
Pdf proceedings. Alternatively, you can get the individual files below.

Position statements
Peter Andrews, A Universal Automated Information System for Science and Technology
Jaques Calmet, Are there True Grand Mathematical Challenges in Mechanized Mathematics
Stephan Schulz, position statement
Volker Sorge, position statement
Geoff Sutcliffe, Yi Gao and Simon Colton, A Grand Challenge of Theorem Discovery
Cesare Tinelli, position statement
Toby Walsh, A mathematical assistant
Christoph Walther, Concept formation


Novel applications
Raul Monroy, Computer Modelling the Human Immune System.
Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann, Christoph Wernhard, KRHyper Inside: Model Based Deduction in Applications.
Eleftheria Katsiri and Alan Mycroft, Knowledge Representation and Scalable Abstract Reasoning for Sentient Computing using First-Order Logic.