Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract).

Published in: SOQE (2017)

Keyphrases

semantic information
formal semantics
higher level
logic programming
conceptual model
propositional dynamic logic
artificial intelligence
relational databases
graphical representation
real time
databases
bayesian networks
natural language
expert systems
default theories
logical language