A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation.

Andreas Herzig Emiliano Lorini Faustine Maffre

Published in: LORI (2015)

Keyphrases

higher order
natural images
propositional logic
first order logic
high order
knowledge representation
low order
pairwise
belief change
anti unification
markov random field
strips planning
horn clauses
knowledge compilation
natural language
neural network
lambda calculus
data sets