Suche

KB) mapping file country-to-languages (7 KB) high resolution plots (800 KB) AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

to nameOfTheOntology @mpii.de ! Others Check the publications that cite YAGO AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

publications publications that cite YAGO main publications of the YAGO-NAGA project AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

Reasoning", pages 371-443. Elsevier, 2001. Andreas Nonnengart and Christoph Weidenbach Computing small clause normal forms, in "Handbook of Automated Reasoning", pages 335-367. Elsevier, 2001. Christoph Weidenbach

Hochschule Trier mit dem Thoralf-Skolem-Preis ausgezeichnet. Der Grund: Der Aufsatz „On Generating Small Clause Normal Forms“, den Nonnengart dort im Jahr 1998, damals noch als Max-Planck-Forscher, zusammen mit

are available here . Results are downloadable as one compressed archive here . AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

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

under a Creative Commons Attribution-ShareAlike 3.0 Unported License . AIDA Downloads Webservice ClausIE Demo

object, and weight, separated by tabs. UWN Core . License: CC-BY-NC-SA 3.0 . AIDA AMIE ANGIE BriQ ClausIE DEANNA diaNED Equity Espresso Fiction and Fantasy TIFI ENTYFI KnowFi EVIN HIGGINS HYENA IBEX Javatools

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