Building logic toolboxes

Authors	J.M. Heguiabehere
Supervisors	D.J.N. van Eijck
Cosupervisors	M. de Rijke
Award date	04-12-2003
ISBN	9057761157 9789057761157
Number of pages	180
Publisher	Amsterdam: Institute for Logic, Language and Computation
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	PhD thesis
Note	Research conducted at: Universiteit van Amsterdam
Language	English
Downloads	Thesis Cover Titlepage Contents Acknowledgments Chapter 1 Introduction Part I Evaluation in Modal and Hybrid Theorem Proving Chapter 2 How Long is a Ruler? Chapter 3 Modal Theorem Proving: Translations into First Order Logic Chapter 4 Modal and Hybrid Theorem Proving – Direct Resolution Part II Programming with Dynamic First Order Logic Chapter 5 The Executable Program Interpretation for Dynamic First Order Logic Chapter 6 Hoare Calculus for DFOL Chapter 7 Tableau Reasoning with DFOL Chapter 8 Implementing Dynamo Part III Conclusions Chapter 9 Conclusion Bibliography Samenvatting Abstract Cover
Permalink to this page

Back

UvA-DARE