Model-theoretic properties of the n-c.e. degrees.

Marat M. Arslanov

Published in: J. Log. Comput. (2012)

Keyphrases

model theoretic
deductive databases
description logics
proof theoretic
desirable properties
operational semantics
default reasoning
logic programs
expert systems
probability distribution
fixpoint