Вы здесь

Главная

Thielscher M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Challenges for Action Theories 2000 Thielscher M. Lecture Notes in Artificial Intelligence 28.06.2000
СТ A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs 1996 Thielscher M. Logic Programming 12.03.1998
СТ An Abstract Machine for Reasoning about Situations, Actions, and Causality 1996 Eder K., Holldobler S., Thielscher M. Lecture Notes in Artificial Intelligence 17.04.1996
СТ Solving Deductive Planning Problems using Program Analysis and Transformation 1996 De Waal D. A., Thielscher M. Lecture Notes in Computer Science 30.03.1996
СТ Equational Logic Programming, Actions, and Change 1992 Grosse G., Holldolbler S., Schneeberger J., Sigmund U., Thielscher M. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 15.12.1994
СТ Representing Concurrent Actions and Solving Conflicts 1994 Bornscheuer S. -E., Thielscher M. Lecture Notes in Artificial Intelligence 20.10.1994
СТ Actions and Specificity 1993 Holldobler S., Thielscher M. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ KI 2014: Advances in Artificial Intelligence: Proc./37th Annual German Conference on AI, Stuttgart, Germany, September 2014 2014 Lecture Notes in Artificial Intelligence
  1. Lutz C.
  2. Thielscher M.
 25.11.2014
СБ AI 2012: Advances in Artificial Intelligence: Proc./25th Australasian Joint Conference, Sydney, Australia, December 2012 2012 Lecture Notes in Artificial Intelligence
  1. Thielscher M.
  2. Zhang D.
 11.01.2013
СБ Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/ 9th International Workshop, CLIMA IX. Dresden, Germany, September 2008 2009 Lecture Notes in Artificial Intelligence
  1. Fisher M.
  2. Sadri F.
  3. Thielscher M.
 24.10.2009