LPAR

17th International Conference on

Logic for Programming, Artificial Intelligence and Reasoning

 
 
  1. -Krishnendu Chatterjee
    Institute of Science and Technology Austria
    The Complexity of Partial-Observation Parity Games (joint work with Laurent Doyen)

  2. -Joseph Y. Halpern
    Cornell University, USA
    Awareness in Logic, Awareness in Games

  3. -Michael Maher
    National ICT Australia
    Human and Unhuman Commonsense Reasoning

Invited Speakers

Yogyakarta, Indonesia

October 10th - 15th, 2010

Norbert Preining

JAIST/Kanazawa

Gödel Logics - A Survey

sponsored by The Kurt Gödel Society.

Invited Tutorial