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

The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory., und . Int. J. Artif. Intell. Tools, 10 (4): 613-637 (2001)Automated Acquisition of Action Knowledge., , , und . ICAART, Seite 93-100. INSTICC Press, (2009)The Automated Refinement of a Requirements Domain Theory., und . Autom. Softw. Eng., 8 (2): 195-218 (2001)Issues in validation and executability of formal specifications in the Z notation.. University of Leeds, UK, (2002)British Library, EThOS.Acquiring planning domain models using LOCM., , und . Knowledge Eng. Review, 28 (2): 195-213 (2013)The application of a machine learning tool to the validation of an air traffic control domain theory., und . ICTAI, Seite 414-421. IEEE Computer Society, (2000)Action Knowledge Acquisition with Opmaker2., , , und . ICAART (Revised Selected Papers), Volume 67 von Communications in Computer and Information Science, Seite 137-150. Springer, (2009)Acquisition of Object-Centred Domain Models from Planning Examples., , und . ICAPS, AAAI, (2009)A Case Study in the Use of Theory Revision in Requirements Validation., und . ICML, Seite 368-376. Morgan Kaufmann, (1998)Towards the Automated Debugging and Maintenance of Logic-based Requirements Models., und . ASE, Seite 105-114. IEEE Computer Society, (1998)