Dr Odinaldo Rodrigues


Odinaldo Rodrigues is a Senior Lecturer in Computer Science in the Department of Informatics at King’s College London, Editor of the Journal of Logic and Computation and a member of the Reasoning and Planning Group. Dr Rodrigues research revolves around artificial intelligence (AI) and includes all aspects of the formalisation of common-sense reasoning. Dr Rodrigues works with both theoretical aspects of AI such as algorithms, translations between logical systems, formalisms for knowledge representation, reasoning and belief revision, argumentation theory, as well as with the application of AI in computer science, including optimisation techniques for requirements engineering, implementation of non-monotonic reasoning systems, BDI systems, concept and topic classification, and the computation of semantics of argumentation systems.

For more information, visit Odinaldo’s public profile.