Login / Signup
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