Login / Signup

On the Existence of Cook Semantics.

Arie de Bruin
Published in: SIAM J. Comput. (1984)
Keyphrases
  • logic programming
  • database
  • semantic information
  • conceptual model
  • formal semantics
  • semantic representation
  • transformation rules
  • data sets
  • knowledge base
  • website
  • conceptual graphs
  • graphical representation