Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland
 

Summary: IJCAR 2004
Second International Joint Conference on Automated Reasoning
University College Cork, Cork, Ireland
Workshop Programme
Workshop on Disproving:
Non-Theorems, Non-Validity,
Non-Provability
Wolfgang Ahrendt, Peter Baumgartner,
Hans de Nivelle (Chairs)
WS 1 July 5
Preface
Our field is called automated theorem proving because traditionally it has been con-
cerned with the art of finding proofs automatically. In the beginning, researchers were
motivated by the wish to build computer systems that can automatically solve hard,
mathematical problems. When searching for a hard proof, it is acceptable for a system
to eat up all resources and not to recognise false theorems.
However in the last years, one has become aware of the fact that for applications,
one also needs to be able to efficiently identify non-theorems. For example, automated
theorem proving systems are now being used as assistants which must automatically
solve easy subtasks in large, interactive projects. For such problems, the expectations

  

Source: Ahrendt, Wolfgang - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collections: Computer Technologies and Information Sciences