Quantum approach to epistemic semantics.

Giuseppe Sergioli Roberto Leporini

Published in: Soft Comput. (2017)

Keyphrases

epistemic logic
logic program updates
logic programming
formal semantics
quantum computing
model checking
modal operators
domain knowledge
semantic information
default reasoning
logical language
databases
learning algorithm
conceptual model
operational semantics
quantum computation