Open arademaker opened 8 years ago
Para registrar que vale uma lida em algum momento no artigo abaixo apresentado no IJCAR 2016. Neste artigo eles usam o termo embedded formulas. Este artigo poderá ser interessante quando (e se formos pensar) em SUMO to HOL.
Artigo http://page.mi.fu-berlin.de/cbenzmueller/papers/C54.pdf
Para registrar que vale uma lida em algum momento no artigo abaixo apresentado no IJCAR 2016. Neste artigo eles usam o termo embedded formulas. Este artigo poderá ser interessante quando (e se formos pensar) em SUMO to HOL.
Artigo http://page.mi.fu-berlin.de/cbenzmueller/papers/C54.pdf