Refine
Year of publication
Document Type
- Article (573) (remove)
Is part of the Bibliography
- yes (573) (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 (573) (remove)
ESF-Abschlußbericht
(1994)
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)
Fault-tolerant self-dual circuits with error detection by parity- and group parity prediction
(1998)
Compressions and extensions
(1998)