Ontologies Reasoning Components Agents Simulations Belief Update, Belief Revision and Planning with the Fluent Calculus and FLUX Cleyton Rodrigues Marcos.