Sign in

Hybrid and First-Order Complete Extensions of CaRet.

Laura BozzelliRuggero Lanotte
Published in: TABLEAUX (2011)
Keyphrases
  • first order logic
  • higher order
  • database
  • efficient implementation
  • databases
  • artificial intelligence
  • hidden markov models
  • logic programs
  • default logic
  • quantifier elimination