The Pseudo-Skolem Problem is Decidable.

Julian D'Costa Toghrul Karimov Rupak Majumdar Joël Ouaknine Mahmoud Salamati Sadegh Soudjani James Worrell

Published in: MFCS (2021)

Keyphrases

first order logic
expressive power
inference rules
function symbols
transitive closure
knowledge representation
horn clauses
datalog programs
genetic algorithm
information systems