9February2010
Posted by Rasmus Rendsvig under: Courses, seminars and special lectures; Dynamic Logic; Epistemic Logic; Game Theory.
| Information provided by |
Jonas Rietz |
Formal models of knowledge-based rationality
Mel Fitting, Lehman College and the Graduate Center
City University of New York, Room 8404, February 9, 2:00-4:00 PM.
Abstract: A mixture of propositional dynamic logic and epistemic logic is used to give a formalization of Artemov’s knowledge based reasoning approach (KBR) to game theory. The family of logics introduced is called PDL + E. It is not the same as Dynamic Epistemic ... (Read the rest of the entry >>)
9February2010
Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Conference and workshop announcements.
| Information provided by |
Ulle Endriss |
| Tuesday, February 9, 2010 |
| 8:00 am |
It is my pleasure to announce the Workshop Programme of ECAI-2010, the 19th European Conference on Artificial Intelligence, to be held in on 16-20 August 2010 in Lisbon, Portugal.
ECAI-2010 will have 21 satellite workshops, to take place during the first two days of the conference, in parallel with an extensive tutorial programme. The workshop programme covers a wide spectrum of research in AI ... (Read the rest of the entry >>)
8February2010
Posted by Olivier Roy under: People & Places; Places (Universities and Institutes).
| Information provided by |
Ulle Endriss |
The Group of Logic, Language and Computation (GLLC), spanning the departments of Computer Science and Philosophy at King’s College London, is disintegrating due to budget cuts that have targeted several academics for redundancy, including Dr. Anatoli Degtyarev, Dr. Jonathan Ginzburg, and Dr. Odinaldo Rodrigues at Computer Science, and Prof. Shalom Lappin and Dr. Wilfried Meyer-Viol at Philosophy—all of them highly respected researchers and successful teachers.
An open letter, signed by 243 ... (Read the rest of the entry >>)
8February2010
Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Call for papers; Conference and workshop announcements; Uncategorized.
| Information provided by |
Jesse Alama |
| Friday, February 19, 2010 |
| Monday, July 5, 2010 | to | Tuesday, July 6, 2010 |
AISC 2010 – 10th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Theory, Implementations and Applications
http://www.informatik.uni-bremen.de/~autexier/aisc2010
CNAM, Paris, France, July 5th – July 6th, 2010
CALL FOR PAPERS
Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical ... (Read the rest of the entry >>)
5February2010
Posted by Vincent Hendricks under: Activities; Call for papers; Conference and workshop announcements; Uncategorized.
| Information provided by |
Vincent Hendricks |
| Friday, September 24, 2010 | to | Sunday, September 26, 2010 |
Logic and Language Conference
Friday 24th September – Sunday 26th September, 2010
University of Aberdeen, Northern Institute of Philosophy
The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School ... (Read the rest of the entry >>)
4February2010
Posted by Vincent Hendricks under: Conference and workshop announcements.
| Information provided by |
Vincent Hendricks |
The Synthese Conference in 2010 will take place at Columbia University in New York City, April 15-16, 2010. The topic of the conference is epistemology and economics with invited speakers including Alexandru Baltag, Adam Brandenburger, Cristina Biccieri, Christian List and Wlodek Rabinowicz. If you plan to attend the conference, please register (registration is free) by sending an mail to synthese.conference.2010@gmail.com with (1) Name, (2) Affiliation, (3) Country, (4) Email ... (Read the rest of the entry >>)
Loading... 
