Login / Signup
A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation.
Danny De Schreye
Bern Martens
Published in:
META (1992)
Keyphrases
</>
logic programming
programming language
logic programs
default theories
logical language
first order logic
graphical representation
argumentation semantics
general purpose
semantic information
meta level
formal semantics
statistical relational learning
semantically equivalent
grounded semantics