On methodology of representing knowledge in dynamic domains.

Michael Gelfond Richard Watson

Published in: Sci. Comput. Program. (2002)

Keyphrases

representing knowledge
knowledge base
logic programming
knowledge representation
epistemic logic
high level
multi agent
np hard
general purpose
logic programs