Login / Signup
)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic.
Stéphane Demri
Rajeev Goré
Published in:
FTP (LNCS Selection) (1998)
Keyphrases
</>
classical first order logic
first order logic
logic programming
expressive power
knowledge representation
dynamic logic
data mining
propositional logic
function symbols
database
databases
learning algorithm