Executing Continuation Semantics.

Published in: Softw. Pract. Exp. (1993)

Keyphrases

logic programming
semantic information
formal semantics
default reasoning
multiscale
search algorithm
database
databases
data model
query language
conceptual model
conceptual graphs
nonmonotonic logics
proof theory
intended meaning