Search: logic
9 results
Results
| Authors | Year | Title | Type | Fulltext |
|---|---|---|---|---|
| Weber, S. | 1998 | Investigations in Belnap's Logic of Inconsistent and Unknown Information | Diss | |
| Wolter, Frank | 1998 | On Logics with Coimplication | Paper | |
|
Villmann, Thomas Haupt, Reiner ... |
1999 | Parallel Evolutionary Algorithms with SOM-like Migration and their Application to Real World Data Sets | Paper | |
| Schulz, Dietmar | 2001 | Ein tableaubasierter Beweiser für temporalisierte Beschreibungslogiken: M2DR | Dipl | |
| Nittka, Alexander | 2003 | A 3-Valued Approach to Disbelief | Dipl | |
| Khalil, Hesham | 2004 | Normalizing Disjunctive Rule Bases by Retraction | Report | |
|
Hering, Klaus Haupt, Reiner ... |
1996 | Hierarchical Strategy of Model Partitioning for VLSI-Design Using an Improved Mixture of Experts Approach | Paper | |
| Ho, Ngoc Duc | 2001 | Resource-Bounded Reasoning about Knowledge | Diss | |
|
Hering, Klaus Haupt, Reiner ... |
1997 | Parameterized Partition Valuation for Parallel Logic Simulation | Paper |