The Semantics of Entailment Omega.

Mariangiola Dezani-Ciancaglini Robert K. Meyer Yoko Motohama

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

Keyphrases

logic programming
formal semantics
neural network
np complete
conceptual model
deductive databases
conceptual graphs
transformation rules
probabilistic knowledge
machine learning
data model
integrity constraints
probabilistic logic programs