Wagner, Gerd VIVA Multi-Agent Logic Programming | 1996 |
Wagner, Gerd From Partial to Possibilistic Logic | 1996 |
Wagner, Gerd Conceptual Foundations of Artificial Agents (Zusammenfassung der wissenschaftlichen Ergebnisse zur Habilitationsschrift) | 1996 |
Wagner, Gerd Conceptual Foundations of Artificial Agents (overview of the Habilitation thesis) | 1996 |
Wagner, Gerd Belnap's Epistemic States and Negation-as-Failure | 1996 |
Wagner, Gerd Vivid Agents - How they Deliberate, How They React, How They Are Verified | 1996 |
Schmidt, Marco; Moehrke, Ulrich; Herrmann, Paul Verhaltensbeschreibung in der High-Level-Synthese | 1996 |
Schmidt, Marco; Moehrke, Ulrich; Herrmann, Paul VH2FG ein VHDL-nach-Flussgraph-Converter fuer CADDY | 1996 |
Rahm, Erhard Automatisches, zielorientiertes Performance Tuning von Transaktionssystemen | 1996 |
Rahm, Erhard Dynamic Load Balancing in Parallel Database Systems | 1996 |
Moehrke, Ulrich; Herrmann, Paul; Schmidt, Marco Das Xilinx-LCA-Format | 1996 |
Hering, Klaus; Haupt, Reiner; Villmann, Thomas Hierarchical Strategy of Model Partitioning for VLSI-Design Using an Improved Mixture of Experts Approach | 1996 |
Herre, Heinrich; Wagner, Gerd Solving Practical Reasoning Problems with Extended Disjunctive Logic Programming | 1996 |
Herre, Heinrich; Wagner, Gerd Stable Semantics of Temporal Deduktive Databases | 1996 |
Hemmecke, Ralf Lösen von Gleichungssystemen mit kontinuierlichen Symmetrien | 1996 |
Hemmecke, Ralf Continuously Parameterized Symmetries and Buchberger's Algorithm | 1996 |
Hering, Klaus Parallel Cycle Simulation | 1996 |
Hartwig, Rolf Algebraische Spezifikation | 1996 |
Gräbe, Hans-Gert; Vlassov, A.T. On a formula of Coll-Gerstenhaber-Giaquinto | 1996 |
Der, Ralf; Herrmann Michael Self-adjusting reinforcement learning | 1996 |
Der, Ralf; Balzuweit, Gerd; Herrmann, Michael Building nonlinear data models with self-organizing feature maps | 1996 |
Beckmann, Anja Modellierung und Realisierung eines Informationssystems für wissenschaftliche Literatur mit WWW-Zugang | 1996 |
Beckmann, Anja; Sosna, Dieter Entwurf eines relationalen Schemas für ein Literaturverwaltungssystem | 1996 |
Dietrich, Jens On the compactness of nonmonotonic logics | 1996 |
Duc, Ho Ngoc Reasoning about Rational, but not Logically Omniscient Agents. | 1996 |
