The semantics ofR4.

Edwin D. Mares Robert K. Meyer

Published in: J. Philos. Log. (1993)

Keyphrases

semantic information
logic programming
databases
integrity constraints
formal semantics
transformation rules
natural language processing
semantic relationships
argumentation semantics