Deontic Logic Based on Inquisitive Semantics.

Published in: DEON (2021)

Keyphrases

formal semantics
logic programming
query language
knowledge representation
classical logic
databases
dynamic logic
transformation rules
temporal logic
conceptual model
update semantics
deontic logic
nonmonotonic logics
semantic representation
real time
semantic information
e learning
data mining
data sets