HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Oliver Kutz

Publications
On Knowledge Dependence in Weighted Description Logic
Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard
In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Weighted Description Logic for Classification Problems
Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo and Nicolas Troquard
In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Proof Support for Common Logic
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange and Michael Grüninger
In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

Keyphrases

Classification problems, Common Logic, Description Logic, linear models, logic translation, machine learning, prototype theory, theorem proving, Threshold Operators, weighted description logic.

Copyright © 2012-2023 easychair.org. All rights reserved.