7 found
Order:
  1. A Graded BDI Agent Model to Represent and Reason About Preferences.Ana Casali, Lluís Godo & Carles Sierra - 2011 - Artificial Intelligence 175 (7-8):1468-1478.
  2.  8
    Using Game Description Language for Mediated Dispute Resolution.Dave de Jonge, Tomas Trescak, Carles Sierra, Simeon Simoff & Ramon López de Mántaras - 2019 - AI and Society 34 (4):767-784.
    Mediation is a process in which two parties agree to resolve their dispute by negotiating over alternative solutions presented by a mediator. In order to construct such solutions, the mediator brings more information and knowledge, and, if possible, resources to the negotiation table. In order to do so, the mediator faces the challenge of determining which information is relevant to the current problem, given a vast database of knowledge. The contribution of this paper is the automated mediation machinery to resolve (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Communicating Open Systems.Mark dʼInverno, Michael Luck, Pablo Noriega, Juan A. Rodriguez-Aguilar & Carles Sierra - 2012 - Artificial Intelligence 186:38-94.
  4.  37
    Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.
    We define a multi-modal version of Computation Tree Logic (CTL) by extending the language with path quantifiers $E^\delta $ and $E^\delta $ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a CTL axiomatisation for each dimension. Completeness is proved by employing the completeness result for CTL to obtain a model along each dimension in turn. We also show that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  80
    Multi-Modal CTL: Completeness, Complexity, and an Application. [REVIEW]Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.
    We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  5
    Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Hoek, Juan Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Negotiating Using Rewards.Sarvapali D. Ramchurn, Carles Sierra, Lluís Godo & Nicholas R. Jennings - 2007 - Artificial Intelligence 171 (10-15):805-837.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark