Computational Logic Laboratory
Interests include logics for knowledge representation and for representing and reasoning about dynamic systems, belief revision, theorem proving, constraint satisfaction, database theory, and complexity of related computational tasks. People, events, projects and software.