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

Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams., and . ECAI, page 55-59. John Wiley and Sons, (1992)Progressive autonomy: a method for gradually introducing autonomy into space missions., , , and . Innov. Syst. Softw. Eng., 1 (2): 89-99 (2005)A lambda-Unifiability Test for Set Theory.. J. Autom. Reason., 4 (3): 269-286 (1988)Domain Processes and Engineering.. ACM SIGSOFT Softw. Eng. Notes, 21 (1): 39-42 (1996)Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing., and . FLAIRS, page 62-66. AAAI Press, (2003)Ontology Negotiation between Intelligent Information Agents, and . The Knowledge Engineering Review, 17 (01): 7--19 (2002)Frontier modeling support environment: flexibility to adapt to diverse stakeholders., , , , , , , , and . SpringSim (TMS-DEVS), page 23. SCS/ACM, (2012)Ontology Negotiation Using JESS., and . ICEIS (1), page 559-570. (2001)Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents., and . CIA, volume 2182 of Lecture Notes in Computer Science, page 223-228. Springer, (2001)Panel Discussion on Ontologies., , and . WRAC, volume 2564 of Lecture Notes in Computer Science, page 471-474. Springer, (2002)