Author of the publication

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II

, , , , , , , , , and (Eds.) volume 3761 of Lecture Notes in Computer Science, Springer, (2005)

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

ServLog: A unifying logical framework for service modeling and contracting., and . Semantic Web, 9 (2): 257-290 (2018)A Logic Programming with Complex Objects., and . J. Comput. Syst. Sci., 47 (1): 77-120 (1993)Understanding Rulelog Computations in Silk., , , , , , , , and . CoRR, (2013)Semantic Web Service Choreography: Contracting and Enactment., and . ISWC, volume 5318 of Lecture Notes in Computer Science, page 550-566. Springer, (2008)On the Semantics of Rule-Based Expert Systems with Uncertainty., and . ICDT, volume 326 of Lecture Notes in Computer Science, page 102-117. Springer, (1988)Logic-Based Model-Level Software Development with F-OML., and . MoDELS, volume 6981 of Lecture Notes in Computer Science, page 517-532. Springer, (2011)Planning with Regression Analysis in Transaction Logic., and . RR, volume 9209 of Lecture Notes in Computer Science, page 45-60. Springer, (2015)Reasoning with Actions in Transaction Logic., and . RR, volume 6902 of Lecture Notes in Computer Science, page 201-216. Springer, (2011)Modeling and Analysis of Interactions in Virtual Enterprises., , , , , and . RIDE, page 12-18. IEEE Computer Society, (1999)HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs., , and . NACLP, page 1090-1114. MIT Press, (1989)