Students
Former
MSc Students
- Odinaldo Rodrigues, "PROMAL: Modal Action PROLOG and Belief
Revision in Pseudo-Definte Sets", 1993.
- Marcelo Sihman, "Deadlock Detection in Algebraic Specifications
for Concurrent Systems", 1998.
- Carla A. D. M. Delgado,
"Reasoning about Events and Knowledge in Distributed Systems", 2001.
- Michel A. Carlini, "Specification of Knowledge Based Multi-agent
Systems", 2002.
- Marcelle Camara de Souza, "Modal Logic and Verification of
Message-Passing Systems", 2002.
- Ricardo Pires Mesquita, "PROCALCULUS: Logic Programming and
Process Algebras", 2003.
- Lorena Sophia Campos de Oliveira, "Specification of Educational
Software using Diaologues Logic and Multi-Agent Systems Based in
Knowledge", 2004.
- Ricardo Fernandes
Ribeiro, "Logic Programming in Extensive Games", 2005.
- Paulo Coelho Ventura Pinto, "Modal Tableaux Method for Epistemic
Logic with Common Knowledge Operator", 2005.
- Luis Roberto Medeiros Lopes, "MAPKAT: A Logical Framework for
Multi-Agent Planning", 2006.
- Daniel Levitan, "Algorithms for Finding Equilibrium in Games Based on Graphs", 2007.
PhD Students
- Paulo F. Pires,
"WEBTRANSACT: A Framework for Specifying and Coordinating Reliable Web
Services Compositions ", 2002.
- Vania Costa, "A Two-Dimensional Modal Logic for Knowledge
Representation in Multi-Agent Distributed Systems", 2002.
- Renata Pereira
Freitas, "Fork Modal Logic", 2002.
- Vera Lucia Prudência dos Santos, "Concurrency and
Synchronisation for Process Propositional Dynamic Logic", 2005.
- Carla A. D. M. Delgado, "Modelling and Verifying Epstemic Properties im Multi-Agent Systems", 2007
Current
PhD Students
MSc Students
- Edno Vicente Silva
- Eduardo Waghabi
Updated May 2008