More Modal Semantics without Possible Worlds.

Daniel Skurt Hitoshi Omori

Published in: FLAP (2016)

Keyphrases

nonmonotonic logics
formal semantics
dynamic logic
modal logic
database
logic programming
semantic information
expert systems
conceptual model
first order logic
image sequences
case study
decision trees
website
artificial intelligence
neural network
data sets