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

The Process Specification Language (PSL) Theory and Applications., and . AI Magazine, 24 (3): 63-74 (2003)On an Unsound Proof of the Existence of Possible Worlds.. Notre Dame J. Formal Log., 30 (4): 598-603 (1989)The true modal logic.. J. Philosophical Logic, 20 (4): 331-374 (1991)The Fundamental Theorem of World Theory., and . J. Philosophical Logic, 43 (2-3): 333-363 (2014)An Adaptive Process Management System (APMS)., and . DIISM, volume 191 of IFIP Conference Proceedings, page 128-136. Kluwer, (2000)Formal model of single agent planning situations., , , and . Journal of Systems Integration, 4 (3): 219-241 (1994)The Process Specification Language (PSL) Theory and Applications, and . AI Magazine, 24 (3): 63--74 (2003)A formal foundation for process modeling., and . FOIS, page 256-269. ACM, (2001)Knowledge representation, the World Wide Web, and the evolution of logic.. Synthese, 182 (2): 269-295 (2011)Reference Ontologies - Application Ontologies: Either/Or or Both/And?.. KI Workshop on Reference Ontologies and Application Ontologies, volume 94 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)