On Model-Theoretic Connected Groups.

Jakub Gismatullin

Published in: J. Symb. Log. (2024)

Keyphrases

model theoretic
deductive databases
proof theoretic
description logics
operational semantics
logic programs
fixpoint
default reasoning
decision procedures
integrity constraints
knowledge base
general purpose
data management
logic programming