Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract).

Daniel Danielski Emanuel Kieronski

Published in: Description Logics (2019)

Keyphrases

propositional logic
extended abstract
satisfiability testing
pairwise
logic programs
logic programming
deductive databases
predicate logic
finite number
equivalence relation
search algorithm
fixpoint