State Defaults and Ramifications in the Unifying Action Calculus.
Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
Browse the full KR paper archive.
Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
Browse the full KR paper archive.