Login / Signup
A Fixed-point Characterization of a Deontic Logic of Regular Action.
Jan M. Broersen
Roel J. Wieringa
John-Jules Ch. Meyer
Published in:
Fundam. Informaticae (2001)
Keyphrases
</>
fixed point
deontic logic
legal reasoning
sufficient conditions
nonmonotonic logics
dynamical systems
floating point
belief propagation
default logic
policy iteration
constraint databases
variational inequalities
fixed point theorem
relational databases
data model
inference rules