We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
Natasha Alechina, Brian Logan, Mehdi Dastani, John...
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
In open markets and within business and government organizations, selfish agents often face the question of what tasks to work on, and what partners to work with. Optimal solutions...
Embodied Conversational Agents (ECAs) are life-like computer generated characters that interact with human users in face-to-face multi-modal conversations. ECA systems are general...
Hung-Hsuan Huang, Toyoaki Nishida, Aleksandra Cere...