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