Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other.

Erik Sandewall

Browse the full KI paper archive.