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.
