Formal Models of Agency

Full Papers

Session: Track 1e: Formal Models of Agency
Date/Time: Thursday, May 17 / 4:30 p.m. – 5:30 p.m.
Location: Room 313A HCC
Chair(s): Wiebe van der Hoek

A Temporal Epistemic Logic with a Reset Operation
Alessio Lomuscio and Bożena Woźna

Agents, Beliefs and Plausible Behavior in a Temporal Setting
Nils Bulling and Wojciech Jamroga

A Grounded Specification Language for Agent Programs
Mehdi Dastani, M. Birna van Riemsdijk and John-Jules Ch. Meyer

Poster Papers


Contextual Deliberation of Cognitive Agents in Defeasible Logic
M. Dastani, G. Governatori, A. Rotolo, I. Song and L. van der Torre

A Design Framework for Generating BDI-agents from Goal Models
Loris Penserini, Anna Perini, Angelo Susi, Mirko Morandini and John Mylopoulos

"Give Agents their Artifacts": The A&A Approach for Engineering Working Environments in MAS
Alessandro Ricci, Mirko Viroli and Andrea Omicini

From Desires to Intentions through Dialectical Analysis
Nicolas D. Rotstein, Alejandro J. Garcia and Guillermo R. Simari

Convergence and Rate of Convergence of a Simple Ant Model
Amine Boumaza and Bruno Scherrer

Delegation and Mental States
Emiliano Lorini, Nicolas Troquard Andreas Herzig and Cristiano Castelfranchi

Model-Based Belief Merging without Distance Measures
Verónica Borja Macías and Pilar Pozos Parra

ISBN: 978-81-904262-7-5 (RPS)                                                                                                      © 2007 IFAAMAS