Login / Signup

Contexts in Dynamic Predicate Logic.

Albert Visser
Published in: J. Log. Lang. Inf. (1998)
Keyphrases
  • predicate logic
  • formal logic
  • semantic network
  • knowledge base
  • computer science
  • dynamic environments
  • computational linguistics
  • databases
  • np hard
  • general purpose
  • knowledge representation and reasoning