Login / Signup

Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs.

Christian Antic
Published in: CoRR (2023)
Keyphrases
  • logic programs
  • logic programming
  • inductive logic programming
  • data model
  • knowledge representation
  • object oriented
  • parameter estimation
  • first order logic
  • expressive power
  • decision problems
  • answer set programming