Learning From Entailment: An Application to Propositional Horn Sentences

By Hiroshi Sakamoto, Kouichi Hirata, Hiroki Arimura. 1993

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Robin Manhaeve
2. Sebastijan Dumancic
3. Luc De Raedt
4. Angelika Kimmig
5. Thomas Demeester
6. A.S. d'Avila Garcez
7. Seyed Mehran Kazemi
8. Martijn van Otterlo

Citations in the corpus

• DeepProbLog: Neural Probabilistic Logic Programming (2018, methodology): “We use the learning from entailment setting [20] Definition 5 Learning from entailment Given a DeepProbLog program with parameters Θ, a set Q of pairs (q, p) with q a query and p its desired success probability, and a loss function L, compute:”
• Learning to reason (1994, unknown): “There is an Exact - Learn to Reason algorithm , that uses an Entailment Equivalence Query oracle and an Entailment Membership Query Oracle , for ( ^ , H ), where ^ is any class of Boolean functions with polynomial size Horn least upper bound .”