Login / Signup
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.
Gerhard Lakemeyer
Hector J. Levesque
Published in:
KR (1998)
Keyphrases
</>
sensor networks
modal logic
neural network
artificial intelligence
logic programming
sensor fusion
defeasible logic
predicate logic
proof theory