Satisfiability in the Triguarded Fragment of First-Order Logic.

Sebastian Rudolph Mantas Simkus

Published in: Description Logics (2018)

Keyphrases

satisfiability problem
np complete
decision procedures
propositional logic
phase transition
computational complexity
terminological reasoning
data sets
information systems
satisfiability testing
evolutionary algorithm
xml documents
computational properties
logical implication
quantified boolean formulas