Institut für Informatik und Computational Science
Refine
Year of publication
Document Type
- Article (576) (remove)
Is part of the Bibliography
- yes (576) (remove)
Keywords
- Answer set programming (10)
- answer set programming (8)
- Answer Set Programming (6)
- Machine learning (3)
- formal languages (3)
- monitoring (3)
- Analytical models (2)
- Automata systems (2)
- Digitale Medien (2)
- E-Learning (2)
Institute
- Institut für Informatik und Computational Science (576)
- Institut für Physik und Astronomie (2)
- eLiS - E-Learning in Studienbereichen (2)
- Department Erziehungswissenschaft (1)
- Department Linguistik (1)
- Extern (1)
- Historisches Institut (1)
- Universitätsbibliothek (1)
- Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ) (1)
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)
And/Or reasoning graphs for determining prime implicants in multi-level combinational networks
(1997)
Circumscribing inconsistency
(1997)
Compressions and extensions
(1998)
The family of default logics
(1998)