Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Zhao, Zhixue; Zhang, Ziqi; Hopfgartner, Frank
Detecting Toxic Content Online and the Effect of Training Data on Classification PerformanceProceedings of the 20th International Conference on Computational Linguistics and Intelligent Text Processing. Online: EasyChair Online S. 1 - 14
Barthelmess, Ulrike; Furbach, Ulrich
Do we need Asimov's Laws?CoRR. S. 1 - 12
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic ExecutionCoRR. S. 1 - 29
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsCoRR. S. 1 - 39
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsCoRR. S. 1 - 31
Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
LambdaDL: Syntax and Semantics (Preliminary Report)S. 1 - 15
Baumgartner, P.; Furbach, U.; Gross - Hardt, M.
Living Books
Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in EL and some of its extensionsCoRR. S. 1 - 42
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based ReasoningCoRR. S. 1 - 24
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsCoRR. S. 1 - 41