Suche

Ihre Suche nach “clause” ergab 87 Treffer.
  1. DEANNA

    /de/departments/databases-and-information-systems/research/yago-naga/deanna

    poster ) Demo paper, 21st International World Wide Web Conference (WWW 2012) AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

  2. Christoph Weidenbach

    /de/departments/automation-of-logic/people/christoph-weidenbach

    , 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,

  3. Quantity Search

    /de/departments/databases-and-information-systems/research/yago-naga/quantity-search

    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

  4. BriQ

    /de/departments/databases-and-information-systems/research/yago-naga/briq

    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

  5. TIFI

    /de/yago-naga/fifa/tifi

    (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

  6. ENTYFI

    /de/yago-naga/entyfi

    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

  7. YAGO-NAGA

    /de/departments/databases-and-information-systems/research/yago-naga

    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

  8. IBEX

    /de/departments/databases-and-information-systems/research/yago-naga/ibex

    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

  9. RuLES

    /de/departments/databases-and-information-systems/research/yago-naga/rules

    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

  10. TimeSEA

    /de/departments/databases-and-information-systems/research/yago-naga/timesea

    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