Follow
Claudia Schon
Claudia Schon
Institute for Web Science and Technologies, University of Koblenz-Landau
Verified email at uni-koblenz.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
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
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
162019
Applications of automated reasoning
U Furbach, C Obermaier
Annual Conference on Artificial Intelligence, 174-187, 2006
152006
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
132019
Deontic logic for human reasoning
U Furbach, C Schon
Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015
132015
Automated reasoning in deontic logic
U Furbach, C Schon, F Stolzenburg
Multi-disciplinary Trends in Artificial Intelligence: 8th International …, 2014
132014
A knowledge compilation technique for ALC TBoxes
U Furbach, H Günther, C Obermaier
Twenty-Second International FLAIRS Conference, 2009
132009
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
102018
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
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
92018
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
82019
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
Towards SPARQL instance-level Update in the Presence of OWL-DL TBoxes
C Schon, S Staab
CEUR-WS. org, 2018
62018
Tackling Benchmark Problems of Commonsense Reasoning.
U Furbach, AS Gordon, C Schon
Bridging@ CADE 1412, 47-59, 2015
62015
The RatioLog project: rational extensions of logical reasoning
U Furbach, C Schon, F Stolzenburg, KH Weis, CP Wirth
KI-Künstliche Intelligenz 29, 271-277, 2015
62015
The system can't perform the operation now. Try again later.
Articles 1–20