Issue 4/2006
Empirically Successful Automated Reasoning: Systems Issue
Content (5 Articles)
Empirically Successful Automated Reasoning: Systems Issue
Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Answer Set Programming Based on Propositional Satisfiability
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
An Integrated Approach to High Integrity Software Verification
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes