Refine
Year of publication
Document Type
- Article (535)
- Doctoral Thesis (126)
- Monograph/Edited Volume (82)
- Other (26)
- Postprint (10)
- Conference Proceeding (5)
- Part of a Book (4)
- Preprint (4)
- Bachelor Thesis (1)
- Habilitation Thesis (1)
Language
- English (795) (remove)
Is part of the Bibliography
- yes (795) (remove)
Keywords
- answer set programming (12)
- Answer Set Programming (10)
- Answer set programming (10)
- Machine Learning (7)
- Maschinelles Lernen (7)
- Antwortmengenprogrammierung (5)
- Internet of Things (4)
- MQTT (4)
- machine learning (4)
- security (4)
Institute
- Institut für Informatik und Computational Science (795) (remove)
Molecular dynamics simulation of the association of model colloidal particles in two dimensions
(1995)
Novel verification framework combining structural and OBDD methods in a synthesis environment
(1995)
Software development plan
(1996)
Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht
(1996)
And/Or reasoning graphs for determining prime implicants in multi-level combinational networks
(1997)
Circumscribing inconsistency
(1997)
Compressions and extensions
(1998)
Towards computer science
(1998)
The family of default logics
(1998)