Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Suche


3812 Treffer


× Hochschule Trier






  • Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
  • Automated Reasoning in Deontic Logic
  • M. Narasimha Murty; Xiangjian He; Chillarige Raghavendra Rao; Paul Weng (Hrsg). Multi-disciplinary Trends in Artificial Intelligence: 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 57 - 68

  • Furbach, Ulrich; Pelzer, Björn; Schon, Claudia
  • Automated Reasoning in the Wild
  • Amy P. Felty; Aart Middeldorp (Hrsg). Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 55 - 72

  • Siebert, Sophie; Schon, Claudia; Stolzenburg, Frieder
  • Commonsense Reasoning using Theorem Proving and Machine Learning
  • Andreas Holzinger;Peter Kieseberg;A Min Tjoa;Edgar Weippl (Hrsg). Machine Learning and Knowledge Extraction: Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 395 - 413


  • Schon, Claudia; Staab, Steffen; Kügler, Patricia et al.
  • Metaproperty-guided Deletion from the Instance-Level of a Knowledge Base
  • Catherine Faron Zucker;Chiara Ghidini;Amedeo Napoli;Yannick Toussaint (Hrsg). Knowledge Engineering and Knowledge Management: 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 407 - 423

  • Furbach, Ulrich; Krämer, Teresa; Schon, Claudia
  • Names are not just Sound and Smoke: Word Embeddings for Axiom Selection
  • Pascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 250 - 268