- Sprache
-
Englisch
- Identifier
-
1057803014
- Reihe
-
IFIG Research Report; 9807 / 1998
Thema
Informatik
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
- Brewka, Gerd
- Eiter, Thomas
Ähnliche Objekte (12)
Existential second-order logic over strings
Decision lists and related Boolean functions
Computing intersections of Horn theories for reasoning with models
Heterogeneous active agents
Enhancing symbolic model checking by AI techniques
A first-order representation of stable models
Probalistic and truth-functional many-valued logic programming
Probalistic logic programming under maximum entropy
Massively Parallel Fault Tolerant Computations on Syntactical Patterns
Fault tolerant parallel pattern recognition
Massively parallel pattern recognition with link failures
Iterative arrays with small time bounds
Existential second-order logic over strings
Decision lists and related Boolean functions
Computing intersections of Horn theories for reasoning with models
Heterogeneous active agents
Enhancing symbolic model checking by AI techniques
A first-order representation of stable models
Probalistic and truth-functional many-valued logic programming
Probalistic logic programming under maximum entropy
Massively Parallel Fault Tolerant Computations on Syntactical Patterns
Fault tolerant parallel pattern recognition
Massively parallel pattern recognition with link failures
Iterative arrays with small time bounds
Existential second-order logic over strings
Decision lists and related Boolean functions
Computing intersections of Horn theories for reasoning with models
Heterogeneous active agents
Enhancing symbolic model checking by AI techniques
A first-order representation of stable models
Probalistic and truth-functional many-valued logic programming
Probalistic logic programming under maximum entropy
Massively Parallel Fault Tolerant Computations on Syntactical Patterns
Fault tolerant parallel pattern recognition
Massively parallel pattern recognition with link failures