Follow
Claudia Schon
Claudia Schon
Trier University of Applied Sciences
Verified email at hochschule-trier.de - Homepage
Title
Cited by
Cited by
Year
KNEWS: Using logical and lexical semantics to extract knowledge from natural language
V Basile, E Cabrio, C Schon
European conference on artificial intelligence (ECAI) 2016 conference, 1-2, 2016
252016
Automated reasoning in deontic logic
U Furbach, C Schon, F Stolzenburg
Multi-disciplinary Trends in Artificial Intelligence: 8th International …, 2014
192014
System description: E-KRHyper 1.4: extensions for unique names and description logic
M Bender, B Pelzer, C Schon
International Conference on automated deduction, 126-134, 2013
192013
Commonsense reasoning meets theorem proving
U Furbach, C Schon
Multiagent System Technologies: 14th German Conference, MATES 2016 …, 2016
182016
Deontic logic for human reasoning
U Furbach, C Schon
Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015
182015
Type checking program code using SHACL
M Leinberger, P Seifer, C Schon, R Lämmel, S Staab
The Semantic Web–ISWC 2019: 18th International Semantic Web Conference …, 2019
172019
Names are not just sound and smoke: Word embeddings for axiom selection
U Furbach, T Krämer, C Schon
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
152019
Applications of automated reasoning
U Furbach, C Obermaier
Annual Conference on Artificial Intelligence, 174-187, 2006
152006
A knowledge compilation technique for ALC TBoxes
U Furbach, H Günther, C Obermaier
Twenty-Second International FLAIRS Conference, 2009
132009
Intentional forgetting in artificial intelligence systems: Perspectives and challenges
IJ Timm, S Staab, M Siebers, C Schon, U Schmid, K Sauerwald, L Reuter, ...
KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI …, 2018
122018
Ontology-based approach for the use of intentional forgetting in product development
P Kügler, P Kestel, C Schon, M Marian, S Staab, S Wartzack
112018
Commonsense reasoning using theorem proving and machine learning
S Siebert, C Schon, F Stolzenburg
Machine Learning and Knowledge Extraction: Third IFIP TC 5, TC 12, WG 8.4 …, 2019
102019
Knowledge compilation for description logics
U Furbach, C Obermaier
102007
Cognitive reasoning: A personal view
U Furbach, S Hölldobler, M Ragni, C Schon, F Stolzenburg
KI-Künstliche Intelligenz 33, 209-217, 2019
92019
Cognitive systems and question answering
U Furbach, C Schon, F Stolzenburg
arXiv preprint arXiv:1411.4825, 2014
82014
The corg project: cognitive reasoning
C Schon, S Siebert, F Stolzenburg
KI-Künstliche Intelligenz 33, 293-299, 2019
72019
Mentale Modelle und kognitive Täuschungen
C Obermaier
Universität Koblenz: Ausgearbeitete Seminarunterlagen der Vortragenden …, 2004
72004
Negation in cognitive reasoning
C Schon, S Siebert, F Stolzenburg
German Conference on Artificial Intelligence (Künstliche Intelligenz), 217-232, 2021
62021
Concept contraction in the description logic EL
T Rienstra, C Schon, S Staab
62020
Towards SPARQL instance-level Update in the Presence of OWL-DL TBoxes
C Schon, S Staab
CEUR-WS. org, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20