Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Details for the publication BerendsenJSV10.
Jasper Berendsen, David N. Jansen
(
)
, Julien Schmaltz, Frits W. Vaandrager
:
The axiomatization of override and update
. In
J. Appl. Log.
8(1):141-150, 2010.
DOI
BIB