Mapping Inferences: Constraint Propagation and Diamond Satisfaction

Authors	R. Gennari
Supervisors	K.R. Apt
Cosupervisors	M. de Rijke
Award date	02-12-2002
ISBN	9057760959 9789057760952
Publisher	Amsterdam: ILLC Dissertation Series DS-2002-05
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	PhD thesis
Language	English
Downloads	Thesis Cover Titlepage Contents Acknowledgments Chapter 1 Introduction Part I Constraint Propagation Chapter 2 Constraints Chapter 3 A Schema of Function Iterations Chapter 4 Constraint Propagation Algorithms Chapter 5 Soft Constraint Propagation Chapter 6 Constraint Propagation Functions Part II Diamond Satisfaction Chapter 7 Modal Logics Chapter 8 The Layered Translation Chapter 9 Diamonds and Constraints Part III Finale Chapter 10 Conclusions and Questions Appendix A Original Algorithms Bibliography Samenvatting Cover
Permalink to this page

Back

UvA-DARE