F R ∀ M ∃

formal methods, artificial intelligence, and logic in computer science

The FRAME lab is research team concerned in the development, applications and interactions of formal methods for software engineering, artificial/computational intelligence regarding multi-agent systems, knowledge/belief revision and logics for specification and reasoning of dynamic systems. We are inside Insituto de Computação at Universidade Federal Fluminense.

Our main interests include, among others:

  • Belief revision,
  • Dynamic logic,
  • Formal methods,
  • Knowledge representation,
  • Machine learning,
  • Modal logic,
  • Multi-agent systems,
  • Probabilistic logic,
  • Rewriting logic,
  • Semantics of programming languages.

Our entry in the CNPq groups directory here.