M. Mariela Morveli-Espinoza

Learn More
Agents are situated autonomous entities that perceive and act in their environment , and communicate with other agents. An agent usually starts a conversation by querying another agent because it needs to satisfy a specific goal. This process allocates a new goal to the agent receiving the initial query, starting new dialogs with other agents, generating a(More)
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus platform. satyrus' compiler takes as input the definition of a problem as a set of pseudo-Boolean constraints and produces, as output, the Energy function of a higher-order(More)
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of the requirement the agent can produce answers with different levels of quality. Answers can contain the best one, a provisional one because it can be improved later, or a(More)
  • 1