, 2021, Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories . in VMCAI 2021, pp. 511–533. Bromberger, M., Fleury, M., Schwarz, S. and [...] Reasoning, IJCAR 2008, LNCS 5195, pp. 459-474. Nonnengart, A. and Weidenbach, C., 2001, Computing Small Clause Normal Forms in A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, Elsevier,
Queries from Web Tables mehr QL Enhancing Knowledge Bases with Quantity Facts mehr AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
ExQuisiTe: Explaining Quantities in Text. In The Web Conference . New York, NY: ACM. AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
(extended version) Cuong Xuan Chu, Simon Razniewski, Gerhard Weikum In arXiv AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
Paper] Cuong Xuan Chu, Simon Razniewski, Gerhard Weikum In Proc. EMNLP 2020 AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
ParisTech. mehr ANGIE ANGIE is an active knowledge system for interactive exploration. mehr BriQ ClausIE DEANNA DEANNA is a framework for natural language question answering over structured knowledge bases [...] for RDF Proc. VLDB Endowment 1:1, p. 647-659, August 2008. More Publications AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
country Domains for GTINs , CAS , emails , DOIs export data trade flow graph AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
Mohamed Gad-Elrab, Evgeny Kharlamov and Gerhard Weikum. In Proc. ISWC 2018 AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools
tiwoli apps and the tiwoli online exploration tool can be found here and here . AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools