R/ for Semantics.

Edward A. Ashcroft William W. Wadge

Published in: ACM Trans. Program. Lang. Syst. (1982)

Keyphrases

machine learning
logic programming
conceptual model
default reasoning
formal semantics
artificial intelligence
website
schema mappings
proof theory
logical language