Author of the publication

Referential Actions: From Logical Semantics to Implementation.

, and . EDBT, volume 1377 of Lecture Notes in Computer Science, page 404-418. Springer, (1998)

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

Integrated static and dynamic modeling of processes.. Logos, (1998)Combining ECA Rules with Process Algebras for the Semantic Web., , , and . RuleML, page 29-38. IEEE Computer Society, (2006)RODI: A Benchmark for Automatic Mapping Generation in Relational-to-Ontology Data Integration., , , , , , , and . ESWC, volume 9088 of Lecture Notes in Computer Science, page 21-37. Springer, (2015)A Tableau Calculus for First-Order Branching Time Logic., and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 399-413. Springer, (1996)Combining OWL with F-Logic Rules and Defaults., , and . ALPSWS, volume 287 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Ontology-Based Support for Graph Algorithms in Online Exploration Workflows., and . OTM Workshops, volume 5872 of Lecture Notes in Computer Science, page 13-14. Springer, (2009)An ECA Engine for Deploying Heterogeneous Component Languages in the Semantic Web., , , and . EDBT Workshops, volume 4254 of Lecture Notes in Computer Science, page 887-898. Springer, (2006)A Tableau Calculus for a Temporal Logic with Temporal Connectives.. TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 232-246. Springer, (1999)Evolution and Reactivity for the Web., and . Reasoning Web, volume 3564 of Lecture Notes in Computer Science, page 134-172. Springer, (2005)Well-Founded Semantics for Deductive Object-Oriented Database Languages., , and . DOOD, volume 1341 of Lecture Notes in Computer Science, page 320-336. Springer, (1997)