-
[1] OWL Web Ontology Language Reference. http://www.w3.org/TR/owl-ref, 2004.
-
[2] RSat Home Page. http://reasoning.cs.ucla.edu/rsat/, 2007.
-
[3] S. Ambroszkiewicz. enTish: An Approach to service Description and Composition. ICS PAS, Ordona 21, 01-237Warsaw, 2003.
-
[4] DAML-S (and OWL-S) 0.9 draft release. http://www.daml.org/services/daml-s/0.9 /, 2003.
-
[5] M. Jarocki, A. Niewiadomski, W. Penczek, A. Półrola, and M. Szreter. A Formal Approach to Composing Abstract Scenarios of Web Services. In Proc. of Intelligent Information Systems, pages 3-22, 2010.
-
[6] M. Jarocki, A. Niewiadomski, W. Penczek, A. Półrola, and M. Szreter. Towards automatic composition of web services: Abstract planning phase. In SOA Infrastructure Tools. Concepts and Methods, pages 181-210. Poznan University of Economics Press, 2010.
-
[7] M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Woźna, and A. Zbrzezny. VerICS 2007 - a model checker for knowledge and real-time. Fundamenta Informaticae, 85(1-4):313-328, 2008. Spr.nazw.!
-
[8] M. Klusch, A. Geber, and M. Schmidt. Semantic web service composition planning with OWLS-XPlan. In Proc. of the 1st Int. AAAI Fall Symposium on Agents and the Semantic Web, number FS-05-01. AAAI Press, 2005.
-
[9] M. Knapik, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, and A. Zbrzezny. Parametric model checking with VerICS. In Transactions on Petri Nets and Other Models of Concurrency IV, LNCS 6550, pages 98-120. Springer, 2010.
-
[10] D. McDermott, M. Ghallab, A. Howe, C. Knoblock, A. Ram, M. Veloso, D. Weld, and D. Wilkins. PDDL - the Planning Domain Definition Language - version 1.2. Technical Report TR-98-003, Yale Center for Computational Vision and Control, 1998.