RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
27 августа 2010 г. 15:40, г. Москва
 


Ceteris paribus logic

Patrick Girard, Jeremy Seligman
Видеозаписи:
Windows Media 134.8 Mb
Flash Video 225.4 Mb
MP4 225.4 Mb

Количество просмотров:
Эта страница:388
Видеофайлы:151

Patrick Girard, Jeremy Seligman


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: In this paper, we develop a parametric language for ceteris paribus reasoning (everything else being equal) that is free from the assumptions of finiteness and exactitude and use it to provide an axiomatisation for an equivalent infinitary fragment of ceteris paribus logic as formulated with language models in van Benthem, Girard and Roy (2009).

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017