Model-theoretic aspects of Sigma-cotorsion modules.

Pedro A. Guil Asensio Ivo Herzog

Published in: Ann. Pure Appl. Log. (2007)

Keyphrases

model theoretic
deductive databases
proof theoretic
operational semantics
description logics
logic programs
default reasoning
fixpoint
decision procedures
probabilistic reasoning
database
machine learning
graphical models
integrity constraints