Xianfei Tang, Changjun Jiang, Zhijun Ding. Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models. In 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA. pages 1162-1163, IEEE Computer Society, 2007. [doi]
@inproceedings{TangJD07,
title = {Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models},
author = {Xianfei Tang and Changjun Jiang and Zhijun Ding},
year = {2007},
doi = {10.1109/ICWS.2007.54},
url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.54},
tags = {rule-based, web service, composition},
researchr = {https://researchr.org/publication/TangJD07},
cites = {0},
citedby = {0},
pages = {1162-1163},
booktitle = {2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA},
publisher = {IEEE Computer Society},
}