Click a term to refine your current search.
Discipline
- MATH/INF/NAT (9)
- GENSCI (1)
Organisation
- Univ. Leipzig (9)
| Title | Year |
|---|---|
Khalil, Hesham Normalizing Disjunctive Rule Bases by Retraction | 2004 |
Nittka, Alexander A 3-Valued Approach to Disbelief | 2003 |
Schulz, Dietmar Ein tableaubasierter Beweiser für temporalisierte Beschreibungslogiken: M2DR | 2001 |
Ho, Ngoc Duc Resource-Bounded Reasoning about Knowledge | 2001 |
Villmann, Thomas; Haupt, Reiner; Hering, Klaus; Schulze, Hendrik Parallel Evolutionary Algorithms with SOM-like Migration and their Application to Real World Data Sets | 1999 |
Weber, S. Investigations in Belnap's Logic of Inconsistent and Unknown Information | 1998 |
Wolter, Frank On Logics with Coimplication | 1998 |
Hering, Klaus; Haupt, Reiner; Petri, Udo Parameterized Partition Valuation for Parallel Logic Simulation | 1997 |
Hering, Klaus; Haupt, Reiner; Villmann, Thomas Hierarchical Strategy of Model Partitioning for VLSI-Design Using an Improved Mixture of Experts Approach | 1996 |