Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
2.409 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

2.409 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  2. Detailansicht für Treffer 2 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  3. Detailansicht für Treffer 3 öffnen
    SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning : 29th Automated deduction International conference, CADE
    Bromberger, Martin ; Jain, Chaahat ; et al.
    In: Lecture notes in computer science, Jg. 14132 (2023), S. 134-152
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    An Isabelle/HOL Formalization of the SCL(FOL) Calculus : 29th Automated deduction International conference, CADE
    Bromberger, Martin ; Desharnais, Martin ; et al.
    In: Lecture notes in computer science, Jg. 14132 (2023), S. 116-133
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Connection-Minimal Abduction in EL via Translation to FOL : 11th Conference on Automated Reasoning
    Haifani, Fajar ; Koopmann, Patrick ; et al.
    In: Lecture notes in computer science, Jg. 13385 (2022), S. 188-207
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Automatically Extracting OWL Versions of FOL Ontologies : International semantic web conference
    Hahmann, Torsten ; Powell, Robert W.
    In: Lecture notes in computer science, Jg. 12922 (2021), S. 252-269
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  8. Detailansicht für Treffer 8 öffnen
    Assistant Tools for Teaching FOL to CF Conversion : Artificial Intelligence Applications and Innovations 8th IFIP WG 12.5 International Conference, AIAI 2012 Halkidiki, Greece, September 27-30, 2012 Proceedings, Part I
    Grivokostopoulou, F. ; Perikos, I. ; et al.
    In: INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING -PUBLICATIONS- IFIP, 2012, Heft 381, S. 306-315
    serialPeriodical
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Using the bottom clause and mode declarations in FOL theory revision from examples
    LUISA DUBOC, Ana ; PAES, Aline ; et al.
    In: Inductive Logic Programming, Jg. 76 (2009), Heft 1, S. 73-107
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    An Example-Tracing Tutor for Teaching NL to FOL Conversion : Artificial Intelligence Applications and Innovations 6th IFIP WG 12.5 International Conference, AIAI 2010 Larnaca, Cyprus, October 6-7, 2010 Proceedings
    Chronopoulos, T. ; Perikos, I. ; et al.
    In: INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING -PUBLICATIONS- IFIP, 2010, Heft 339, S. 170-178
    serialPeriodical
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    A Knowledge Based System for Translating FOL Formulas into NL Sentences : ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III
    Mpagouli, A. ; Hatzilygeroudis, I.
    In: INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING -PUBLICATIONS- IFIP, 2009, Heft 296, S. 157-164
    serialPeriodical
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Artificial Intelligence for the Electron Ion Collider (AI4EIC)
    Allaire, C. ; Ammendola, R. ; et al.
    2024
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Transcription and Translation of Codex Atlanticus, fol. 899 v
    Williams, Kim
    In: Nexus Network Journal, Jg. 10 (2008-04-01), Heft 1, S. 13-16
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Using the bottom clause and mode declarations in FOL theory revision from examples
    Duboc, Ana Luisa ; Paes, Aline ; et al.
    In: Machine Learning, Jg. 76 (2009-07-01), Heft 1, S. 73-107
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Predicting and Detecting Symmetries in FOL Finite Model Search
    Audemard, Gilles ; Benhamou, Belaid ; et al.
    In: Journal of Automated Reasoning, Jg. 36 (2006-04-01), Heft 3, S. 177-212
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    FOL Modeling of Integrity Constraints (Dependencies)
    Deutsch, Alin
    In: Encyclopedia of Database Systems; (2009) S. 1155-1161
    Buch
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    REGAL3.2: FOL Concept Learning by Cooperative Genetic Algorithms : Italian Association for Artificial Intelligence: AI*IA 97
    Neri, F.
    In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft E 1321, S. 443-446
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  19. Detailansicht für Treffer 19 öffnen
    In silico identification of a promising inhibitor of Fusarium oxysporum f. sp. Lycopersici, Secreted in Xylem 1 protein.
    Rathore, Anuranjan Singh ; Gupta, Krishna Kant ; et al.
    In: Mol Divers, 2024
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Network Bending: Expressive Manipulation of Deep Generative Models : 10th International conference on artificial intelligence in music, sound, art and design
    Broad, Terence ; Leymarie, Frederic Fol ; et al.
    In: Lecture notes in computer science, Jg. 12693 (2021), S. 20-36
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -