The nu-Conversion and an Analytic Semantics.

Shigeru Igarashi

Published in: IFIP Congress (1983)

Keyphrases

formal semantics
logic programming
logical language
artificial intelligence
logical framework
conceptual model
intended meaning
argumentation semantics
nonmonotonic logics
transformation rules
semantic representation
database
semantic information
data model
keywords
multiscale
data mining