Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

FASTUS: A Cascaded Finite-State Tranducer for Extracting Information from Natural- Language Text, Sri International, , , , , , und . Sri International, 8. September 2003, (1993)FASTUS: A Cascaded Finite-state Transducer for Extracting Information from Natural-language Text, , , , , , und . Finite State Devices for Natural Language Processing, MIT Press, Cambridge, MA, (1996)From Question-Answering to Information-Seeking Dialogs, , , , , , , und . (2002)Powerpoint presentation.From Question-Answering to Information-Seeking Dialogs, , , , , , , und . (2001)Powerpoint presentation.A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.. J. Autom. Reason., 4 (4): 353-380 (1988)A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.. J. Autom. Reason., 3 (3): 285-289 (1987)Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)., , , , , und . Electron. Notes Discret. Math., (2001)An Introduction to Automated Deduction.. Advanced Course: Fundamentals of Artificial Intelligence, Volume 232 von Lecture Notes in Computer Science, Seite 75-132. Springer, (1985)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , und . CADE, Volume 814 von Lecture Notes in Computer Science, Seite 341-355. Springer, (1994)Detection and elimination of inference channels in multilevel relational database systems., , , , und . S&P, Seite 196-205. IEEE Computer Society, (1993)