Sign in

ASP for minimal entailment in a rational extension of SROEL.

Laura GiordanoDaniele Theseider Dupré
Published in: Theory Pract. Log. Program. (2016)
Keyphrases
  • answer set programming
  • logic programming
  • web applications
  • np complete
  • probabilistic logic
  • information retrieval
  • artificial intelligence
  • textual entailment
  • bounded rationality