Operational Semantics of Resolution in Horn Clause Logic.

Peng Fu Ekaterina Komendantskaya

Published in: CoRR (2016)

Keyphrases

operational semantics
horn clause logic
formal semantics
model theoretic
data model
mental states
denotational semantics
representation language
general purpose
database
learning process
logic programming
background knowledge