Benevides, Mario, Federal University of Rio de Janeiro, Programa de Engenharia de Sistemas e Computac¸ ˜ao e Instituto de Matem´ atica, Brazil

• Vol 21, No 3 (2017): Thematic issue: Advances in Logic-based Methods for Intelligent Systems (J. C. Nieves, E. Hermann Haeusler, B. Lopes) - Articles of the Thematic Issue
  Action Models with Postconditions
  Abstract  PDF