Name Card

Full name Familienname, Vorname
Schon, Claudia
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Timm, Ingo J. ; Staab, Steffen ; Siebers, Michael ; Schon, Claudia ; Schmid, Ute ; Sauerwald, Kai ; Reuter, Lukas ; Ragni, Marco ; Niederee, Claudia ; Maus, Heiko ; Kern-Isberner, Gabriele ; Eiter, Thomas ; Jilek, Christian ; Friemann, Paulina ; Dengel, Andreas ; Dames, Hannah ; Bock, Tanja ; Berndt, Jan Ole ; Beierle, Christoph Intentional Forgetting in Artificial Intelligence Systems: Perspectives and ChallengesKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022
2Hajdu-2022-The Vampire Approach to Induction short paper-vor.pdf.jpgHajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei The Vampire Approach to Induction (short paper)Inproceedings Konferenzbeitrag 31-Aug-2022