Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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