Suche

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

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

    Johanna Meerjanssen Fabian Wobito Former Students Hendrik Leidinger (Ph.D. 2025): SCL(EQ): Simple Clause Learning in First-Order Logic with Equality Martin Desharnais (Ph.D. 2025): Formal Verification of [...] Isabelle/HOL Fajar Haifani (Ph.D. 2023): On a Notion of Abduction and Relevance for First-Order Logic Clause Sets Mathias Fleury (Ph.D. 2020): Formalization of Logical Calculi in Isabelle/HOL Martin Bromberger

  2. Google Award

    /de/departments/databases-and-information-systems/research/google-award

    Semantic Typing of Emerging Entities. ACL (1) 2013: 1488-1497 Luciano Del Corro, Rainer Gemulla: ClausIE: Clause-Based Open Information Extraction. [ pdf , resources ] WWW 2013: 355-366. Rio de Janeiro, Brazil

  3. diaNED

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

    Hoffart, Gerhard Weikum ACL 2018 Download Resources Resource download: timeNED.zip AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

  4. Webservice

    /de/departments/databases-and-information-systems/research/ambiverse-nlu/aida/webservice

    accurate, and commercially supported service based on the AIDA technology. AIDA Downloads Webservice ClausIE Demo

  5. Software

    /de/departments/databases-and-information-systems/software

    understanding tasks in a single, easy-to-use, and scalable suite. mehr Weitere Informationen ClausIE ClausIE is an open information extractor; it identifies and extracts relations and their arguments in

  6. (Hi)Story

    /de/departments/automation-of-logic/software/spass-workbench/history

    with sorted unification integrated by specific inference/reduction rules, a splitting rule and the clause normal form translator FLOTTER. 1995 - 1996 Internal release is SPASS Version 0.49. We officially [...] uperposition with S orts Georg Rock 1994 - 1995 implemented the first version of our sophisticated clause normal form translator FLOTTER. FLOTTER means "faster" in German and our CNF translation procedure

  7. Demo

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

    Center for DataScience. You can fire a SPARQL query use the SPARQL endpoint AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

  8. STICS

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

    an entity in the left pane under Co-occurrence to see the co-occurrence stats AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

  9. Acknowledgements

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

    comments on YAGO Frederick Giasson for his substantial help with the RDFS converter AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

  10. KnowFi

    /de/yago-naga/knowfi

    Fictional Texts Cuong Xuan Chu, Simon Razniewski, Gerhard Weikum In Proc. AKBC 2021 AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools