STRATEGIES IN AUTOMATED DEDUCTION (homepage)

Description

This website on STRATEGIES IN AUTOMATED DEDUCTION is intended to serve as a(n evolving) database of and guide for the respective subfield of automated reasoning, theorem proving, programming and artifical intelligence. We hope that it will be useful in particular for researchers interested in and working on issues related to Strategies in Automated Deduction.

Disclaimer: We do not claim any kind of representative / complete description of the field.

Any feedback on the information provided (criticism, praise, links, missing / incorrect / incomplete information etc.) is very welcome!

Currently the website offers the following information:

Workshop series on Strategies in Automated Deduction
Special issue of the Annals of Mathematics and Artificial Intelligence (AMAI) on Strategies in Automated Deduction
(Partially) automated reasoning systems incorporating flexible strategy-based reasoning
Conferences and workshops covering strategy-related aspects
Literature (selected readings / references)

Links to other strategy-related webpages
Credits

Last modified: Tue Jul 26 22:01:08 CEST 2005

STRATEGIES IN AUTOMATED DEDUCTION (homepage)

Description

Contents