FR∀M∃ Lab.

formal methods, artificial intelligence, and logic in computer science

FRAME Lab. is a research group in the development of techniques, applications and interactions of formal methods for software engineering, artificial/computational intelligence regarding multi-agent systems, knowledge/belief revision and logics for the specification and reasoning of dynamic systems. We are part of 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.
Some of our projects at Github.