Declarative Semantics of Actions and Instructions.

Published in: BMSD (2020)

Keyphrases

declarative semantics
deductive databases
logic programming
logic programming language
logic programs
operational semantics
situation calculus
artificial intelligence
fixpoint
integrity constraints
defeasible reasoning
partial order
answer set programming
nonmonotonic reasoning
decision theoretic
stable models