Axiomatic Semantics for "Escape" Statements.

Ronald A. Olsson Daniel T. Huang

Published in: Inf. Process. Lett. (1991)

Keyphrases

denotational semantics
natural language
logic programming
neural network
formal semantics
default theories
default rules
data sets
machine learning
database systems
logical language
argumentation semantics