CADE-20 Workshop on Empirically Successful Classical Automated Reasoning
Edit Page
Report
Scan day: 07 February 2014 UTC
21
Virus safety - good
Description: Tallinn, Estonia; 22--26 July 2005.
CADE-20 Workshop on Empirically Successful Classical Automated Reasoning will be held 22nd-23rd July, at Tallinn, Estonia, 22nd July - 26th July, 2005 This workshop will bring together practioners and researchers who are concerned with the implementation and deployment of working automated reasoning systems for classical logic (propositional, first order, and higher order). The focus is on classical logic because it has adequate expressive power for many applications, has well understood and manageable computational properties, and the automated reasoning community has much experience and success with the implementation and application of automated reasoning systems for classical logics. Consequently, there exist empirically successful classical automated reasoning systems and applications. The workshop will discuss "really running" systems and applications, and not theoretical ideas that have not yet been translated into working software. The workshop will have two main topic areas:
Size: 1008 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
Page title: | CADE-20 Workshop on Empirically Successful Classical Automated Reasoning |
Keywords: | |
Description: | |
IP-address: | 192.31.89.8 |
WHOIS Info
NS | Name Servers: UMIGW.MIAMI.EDU 129.171.97.1 MIAVAX.IR.MIAMI.EDU 129.171.32.1 |
WHOIS | |
Date | activated: 23-Jul-1987 last updated: 07-Aug-2013 expires: 31-Jul-2014 |