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