Welcome to the Knowledge Based Systems Lab (KBSL).
Our principal research interests are
- Logic Programming
- Constraint Logic Programming
- Deductive Databases
- Declarative languages for the WWW
- Rule systems under uncertainty
- Rule System Benchmarking
- Defeasible Logics
- Active Databases
