Sign in

Consequence-Based Axiom Pinpointing.

Ana OzakiRafael Peñaloza
Published in: SUM (2018)
Keyphrases
  • inference rules
  • modal logic
  • artificial intelligence
  • small number
  • supervised learning
  • training data
  • first order logic