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

Two Aspects of the Validation and Verification of Knowledge-Based Systems., , , , und . IEEE Expert, 8 (3): 76-81 (1993)Modelling Devices and Modelling Speakers., und . Interact. Comput., 1 (2): 220-224 (1989)People Interact Through Computers Not With Them., und . Interact. Comput., 1 (1): 31-38 (1989)Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction., und . Softw. Test. Verification Reliab., 5 (4): 233-271 (1995)Noise induced hearing loss: Building an application using the ANGELIC methodology., , , , , und . Argument Comput., 10 (1): 5-22 (2019)AGATHA: Using heuristic search to automate the construction of case law theories., und . Artif. Intell. Law, 13 (1): 9-51 (2005)The maintenance of legal knowledge based systems., und . Artif. Intell. Rev., 6 (2): 129-143 (1992)Editorial: Logic and Law Corner., und . J. Log. Comput., 19 (6): 899 (2009)Discovering Inconsistency through Examination Dialogues., , und . IJCAI, Seite 1680-1681. Professional Book Center, (2005)A method for the computational modelling of dialectical argument with dialogue games., , und . Artif. Intell. Law, 8 (2/3): 233-254 (2000)