palavras-chave Ciências Naturais::Ciências da Computação e da Informação Disjunctive logic programming Distributed interactive simulation Multi-agent systems Science & Technology Virtual reality