Login / Signup
Automating Signature Evolution in Logical Theories.
Alan Bundy
Published in:
AISC/MKM/Calculemus (2008)
Keyphrases
</>
logical theories
situation calculus
belief revision
artificial intelligence
keywords
natural language