Travelled to:1 × Germany
1 × USA
Collaborated with:U.Furbach B.Pelzer M.Bender T.Krämer
Talks about:descript (2) name (2) system (1) select (1) reason (1) extens (1) uniqu (1) sound (1) smoke (1) logic (1)
Person: Claudia Schon
DBLP: Schon:Claudia
Contributed to:
201520132019Wrote 3 papers:
- CADE-2015-FurbachPS #automation #reasoning
- Automated Reasoning in the Wild (UF, BP, CS), pp. 55–72.
- CADE-2013-BenderPS #logic
- System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.
- CADE-2019-FurbachKS #axiom #word
- Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection (UF, TK, CS), pp. 250–268.