- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2001
- Identifier
-
972326286
Thema
Automatisches Beweisverfahren ; Präsentation ; Natürliche Sprache ; Dialogsystem ; Benutzermodell ; Automatisches Beweisverfahren ; Präsentation ; Natürliche Sprache ; Dialogsystem ; Benutzermodell; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
Fiedler, Armin
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Fiedler, Armin
Ähnliche Objekte (12)
Rollenübernahme als Benutzermodellierungsmethode : globale Antizipation in einem transmutierbaren Dialogsystem
Deduktive Generierung von adaptiven Plänen mit Kontrollstrukturen
Contextual computing : models and applications
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
Human Oriented Proof Presentation: A Reconstructive Approach
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge
Cryptographically sound analysis of security protocols
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Proof planning with multiple strategies
Zweistufige kontextsensitive Sprecherklassifikation am Beispiel von Alter und Geschlecht
Hybride, pragmatisch eingebettete Realisierung mittels Bottom-up-Generierung in einem natürlichsprachlichen Dialogsystem
Rollenübernahme als Benutzermodellierungsmethode : globale Antizipation in einem transmutierbaren Dialogsystem
Deduktive Generierung von adaptiven Plänen mit Kontrollstrukturen
Contextual computing : models and applications
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
Human Oriented Proof Presentation: A Reconstructive Approach
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge
Cryptographically sound analysis of security protocols
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Proof planning with multiple strategies
Zweistufige kontextsensitive Sprecherklassifikation am Beispiel von Alter und Geschlecht
Hybride, pragmatisch eingebettete Realisierung mittels Bottom-up-Generierung in einem natürlichsprachlichen Dialogsystem
Rollenübernahme als Benutzermodellierungsmethode : globale Antizipation in einem transmutierbaren Dialogsystem
Deduktive Generierung von adaptiven Plänen mit Kontrollstrukturen
Contextual computing : models and applications
Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning
Human Oriented Proof Presentation: A Reconstructive Approach
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge
Cryptographically sound analysis of security protocols
Cancellative Abelian monoids in refutational theorem proving
Equality and extensionality in automated higher-order theorem proving
Proof planning with multiple strategies
Zweistufige kontextsensitive Sprecherklassifikation am Beispiel von Alter und Geschlecht