Palindromic Characteristic of Committed Graphs and Some Model Theoretic Properties.

Published in: Int. J. Found. Comput. Sci. (2020)

Keyphrases

model theoretic
deductive databases
description logics
proof theoretic
decision procedures
databases
general purpose
logic programs
artificial intelligence
bayesian networks
integrity constraints
desirable properties
probabilistic reasoning
fixpoint
operational semantics