From Operational Definitions to Abstract Semantics.

S. Purushothaman Jill Seaman

Published in: FPCA (1993)

Keyphrases

precise definition
logic programming
propositional dynamic logic
high level
low level
higher level
semantic information
formal semantics
model theoretic
fixed point semantics
databases
genetic algorithm
expert systems
operational semantics
logical language
semantics of logic programs