Suchergebnisse | SciPort RLP

Kügler, Patricia; Kestel, Philipp; Schon, Claudia et al.
Ontology-based approach for the use of Intentional Forgetting in product development
Dorian Marjanovic;Mario Storga;Stanko Skec;Nenad Bojcetic;Neven Pavkovic (Hrsg). Proceedings of the DESIGN 2018 15th International Design Conference: May 21-24, 2018; Dubrovnik, Croatia. Zagreb: University of Zagreb, Faculty of Mechanical Engineering and Naval Architecture 2018 S. 1595 - 1606

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

Timm, Ingo J.; Staab, Steffen; Siebers, Michael et al.
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges
Frank Trollmann;Anni-Yasmin Turhan (Hrsg). KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 357 - 365

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

Leinberger, Martin; Seifer, Philipp; Schon, Claudia et al.
Type Checking Program Code Using SHACL
Chiara Ghidini; Olaf Hartig; Maria Maleshkova; Vojtech Svátek; Isabel Cruz; Aidan Hogan; Jie Song; Maxime Lefrançois; Fabien Gandon (Hrsg). The Semantic Web – ISWC 201918th International Semantic Web Conference; Auckland, New Zealand; October 26–30, 2019, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 399 - 417