Overview

This workshop brings together practioners and researchers who are concerned with the implementation and deployment of working computerized reasoning systems. Reasoning in all forms (automated, interactive, etc) and all logics (classical, non-classical, all orders, etc) is of interest to the workshop. The workshop discusses only "really running" systems and applications, and not theoretical ideas that have not yet been translated into working software.

• ESCoR accepted papers
• ESCoR program
• ESCoR proceedings (PDF)

See the detailed ESCoR WWW page for more details about the workshop.