Odinaldo Rodrigues is a Reader in Artificial Intelligence 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 knowledge representation and reasoning, including 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, non-monotonic reasoning systems, BDI systems, concept and topic classification, neuro-symbolic integration, and the computation of semantics of argumentation systems.
For more information, visit Odinaldo’s public profile.
