Research on higher-order concept learning, inductive logic programming, multi-agent learning systems, integration of prior knowledge, induction and deduction, incremental learning, hybrid symbolic/connectionist approaches, evolutionary strategies.

Department of Computer Science. Research projects: Digital media (graphics, computer vision, speech); Cryptography and information security; Languages and architecture; Machine learning; Mobile and wearable computing; Quantum computing; System verific...

Course COMS 30126: Computational Complexity Theory, Department of Computer Science, University of Bristol

Communicating Process Architectures. Bristol, UK.

Functional Programming Research, the Brisk project: reactive systems

Intelligent Reasoning by Example.

Includes source code, related research papers and associated work.

Includes source code, related papers and associated projects.