BibSonomy :: author  ::

bookmarks

publications

(9)

• A normal simulation of coalition logic and an epistemic extension.
  Jan Broersen and Andreas Herzig and Nicolas Troquard TARK 92-101 (2007)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Knowing how to play: uniform choices in logics of agency.
  Andreas Herzig and Nicolas Troquard AAMAS 209--216 (2006)
  to impresso logics by marciomr and 1 other person on 2008-02-20 03:42:09
  | URL | BibTeX  
• Delegation and mental states.
  Emiliano Lorini and Nicolas Troquard and Andreas Herzig and Cristiano Castelfranchi AAMAS 153 (2007)
  to dblp by dblp on 2008-02-05 00:00:00
  | URL | BibTeX  
• Alternative axiomatics and complexity of deliberative STIT theories
  Philippe Balbiani and Andreas Herzig and Nicolas Troquard CoRR abs/0704.3238 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.
  Jan Broersen and Andreas Herzig and Nicolas Troquard J. Log. Comput. 16 559-578 (2006)
  to dblp by dblp on 2007-01-30 00:00:00
  | URL | BibTeX  
• A STIT-Extension of ATL.
  Jan Broersen and Andreas Herzig and Nicolas Troquard JELIA 69-81 (2006)
  to dblp by dblp on 2006-10-30 00:00:00
  | URL | BibTeX  
• Towards a Logic of Agency and Actions with Duration.
  Nicolas Troquard and Laure Vieu ECAI 775-776 (2006)
  to dblp by dblp on 2006-10-25 00:00:00
  | URL | BibTeX  
• Knowing how to play: uniform choices in logics of agency.
  Andreas Herzig and Nicolas Troquard AAMAS 209-216 (2006)
  to dblp by dblp and 1 other person on 2006-09-27 00:00:00
  | URL | BibTeX  
• From Coalition Logic to STIT.
  Jan Broersen and Andreas Herzig and Nicolas Troquard Electr. Notes Theor. Comput. Sci. 157 23-35 (2006)
  to dblp by dblp on 2006-07-24 00:00:00
  | URL | BibTeX