Temporal constraint networks Rina Dechter Israel Institute of Technology, Haifa, Israel Itay Meiri Univ. of California, Los Angeles Judea Pearl Journal Artificial Intelligence - Special issue on knowledge representation archive ...
Branching Time and Abstraction in Bisimulation Semantics ROB J. VAN GLABBEEK AND W. PETER WEIJLAND Centturn (war Wiskunde en Informatica, Amsterdam, The Netherlands JACM 1996 Branching time and abstraction in bisimulation semantics.pdf Abstract. In comparativ ...
*** ##A Survey of Automated Web Service Composition Methods Jinghai Rao and Xiaomeng Su (draft, no published version) Abstract. In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the compositio ...