Travelled to:
1 × Canada
Collaborated with:
R.Baumann G.Brewka H.Strass M.Thielscher
Talks about:
calculus (1) default (1) action (1) unifi (1) state (1) ramif (1)
Person: Vadim Zaslawski
DBLP: Zaslawski:Vadim
Contributed to:
Wrote 1 papers:
- KR-2010-BaumannBSTZ #calculus
- State Defaults and Ramifications in the Unifying Action Calculus (RB, GB, HS, MT, VZ).