Archive for the ‘Activities’ Category
26August2010
Chair of Computational Logic at Dresden University of Technology
Posted by Sunxin under: Activities; Job annoucements.
16September2009
Seminar in Logic and Games at CUNY: Formalizing stories as games of mistaken beliefs
Posted by Rasmus Rendsvig under: Activities; Belief revision, conditioning, imaging and other belief; Courses, seminars and special lectures; Games for logic, dialogic games..
15September2009
ILLC Computational Social Choice Seminar: Extending a Preference Order over a Set to its Powerset
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Preferences, Intentions, Emotions; Reasoning.
15September2009
Computational Logic Seminar at CUNY: Intensions Axiomatized
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Modal Logic.
3September2009
Computational Social Choice Seminar at ILLC: The Use of Knowledge in Social Algorithms
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Social Software.
3September2009
Logic and Games Seminar at CUNY: Belief Merging without classical distance measures
Posted by Rasmus Rendsvig under: Activities; Belief revision, conditioning, imaging and other belief; Courses, seminars and special lectures.
Loading...