unilogo_klein (6K)
PROBNET07: Probabilistic Networks and Uncertain Reasoning
29th November - 2nd December 2007, University of Salzburg

A workshop supported by the AKTION Project, Wissenschaftlich - Technische Zusammenarbeit Österreich - Tschechien, Österreichischer Akademischer Austauschdienst

hr (1K)

General Informations


Gernot Kleiter, Niki Pfeifer


Location: University of Salzburg, Department of Psychology, Hellbrunnerstr. 34
(a map is at www.sbg.ac.at/maps, building number 16)

Please note that we have to change the rooms on Friday!

Friday morning: HS 431 (third floor)
Friday afternoon, until Sunday: Arbeitsgruppe IV (second floor, next to the office of Niki Pfeifer)

hr (1K)


  • Dieterle, Armin
  • Jirousek, Radim
  • Kaffanke, Martin
  • Kleiter, Gernot D.
  • Kratochvil, Vaclav
  • Krejci, Martin
  • Mayer, Helmut
  • Perner, Josef
  • Pfeifer, Niki
  • Rafetseder, Eva
  • Unterhuber, Matthias
  • Vejnarova, Jirina
  • Vomlel, Jiri

hr (1K)



Arrival of the Czech guests.


Chair (morning session): Vaclav Kratochvil

09:15-10:00 Jirousek, R.: On a new definition of conditional independence for belief functions.

10:00-10:45 Mitterlechner, G.: Automatic classification of geology from tunnel boring machine data.

10:45-11:15 Coffee break

11:15-12:00 Vomlel, J.: Arithmetic circuits and probabilistic inference.

12:00-13:30 Lunch break

Chair (afternoon session): Matthias Unterhuber

13:30-14:15 Pfeifer, N. & Kleiter, G. D.: Conditional reasoning in mental probability logic.

14:15-15:00 Rafetseder, E. & Perner, J.: Does children's counterfactual thinking stick to the nearest possible world?

15:00-15:30 Coffee break

15:30-16:15 Kaffanke, M. & Kleiter, G. D.: Software based Elicitation of Subjectve PRObabilities (ESPRO). Download: http://sourceforge.net/projects/espro

16:15-16:30 Coffee break

16:30 LogiCCC Session


Chair (morning session): Eva Rafetseder

09:15-10:00 Kratochvil, V.: Bayesian network, compositional model - are conditional independencies equivalent?

10:00-10:45 Vejnarova, J.: Conditional independence and operators of composition.

10:45-11:15 Coffee break


Discussions of Friday's and Saturday's talks and related topics on future cooperation. Departure of the Czech guests.

hr (1K)


Haus Arenberg, Blumensteinstrasse 8, A-5020 Salzburg
Phone: 0043/662/640097.
Web: http://www.arenberg-salzburg.at/
Route by car (Hotel <--> PROBNET07 locaton):

Enlarge map

hr (1K)