General Models and Entailment Semantics for Independence Logic.

Pietro Galliani

Published in: Notre Dame J. Formal Log. (2013)

Keyphrases

logic programming
knowledge representation
probabilistic logic
np complete
formal semantics
nonmonotonic logics
predicate logic