Keynote Lecture 3: Modeling Non‐Propositional Semantics.

Published in: ICON (2014)

Keyphrases

propositional logic
semantic information
logic programming
key issues
predicate calculus
strips planning
knowledge base
database systems
model theoretic
autoepistemic logic
logical theories