Login / Signup
Operational semantics of resolution and productivity in Horn clause logic.
Peng Fu
Ekaterina Komendantskaya
Published in:
Formal Aspects Comput. (2017)
Keyphrases
</>
operational semantics
horn clause logic
formal semantics
data model
mental states
model theoretic
denotational semantics
representation language
software engineering
software development
multi agent systems
activity diagrams
high level
artificial intelligence
relational databases
database systems
agent programming