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.