Publications:
Selected recent research results and papers
Larger list of my reports, publications -- by research areas
Lecture notes and tutorial slides
.
Knowledge representation, reasoning and declarative problem solving
,
to be publihsed by Cambridge University Press, 2002