메뉴 건너뛰기




Volumn , Issue , 2006, Pages 181-188

Fast composition planning of OWL-S services and application

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MEDICAL APPLICATIONS; MEDICAL COMPUTING; ONTOLOGY;

EID: 38649097847     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECOWS.2006.20     Document Type: Conference Paper
Times cited : (39)

References (18)
  • 2
    • 84880478628 scopus 로고    scopus 로고
    • Conversation specification: A new approach to the design and analysis of e-service composition
    • Budapest, Hungary
    • T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to the design and analysis of e-service composition. Proceedings of World Wide Web Conference WWW, Budapest, Hungary, 2003.
    • (2003) Proceedings of World Wide Web Conference WWW
    • Bultan, T.1    Fu, X.2    Hull, R.3    Su, J.4
  • 3
    • 38649087896 scopus 로고    scopus 로고
    • I. P. Competition. IPC3. Homepage: http://planning.cis.strath.ac.uk/ competition/, 2002.
    • I. P. Competition. IPC3. Homepage: http://planning.cis.strath.ac.uk/ competition/, 2002.
  • 5
    • 13444301819 scopus 로고    scopus 로고
    • The Metric-FF planning system: Translating Ignoring Delete Lists to Numeric State Variables
    • J. Hoffmann. The Metric-FF planning system: Translating Ignoring Delete Lists to Numeric State Variables. Artificial Intelligence Research (JAIR), vol 20, 2003.
    • (2003) Artificial Intelligence Research (JAIR) , vol.20
    • Hoffmann, J.1
  • 9
    • 33745757810 scopus 로고    scopus 로고
    • Web Service Composition as AI Planning: A Survey
    • Technical Report, University of St. Gallen, Switzerland Available at
    • J. Peer. Web Service Composition as AI Planning: A Survey. Technical Report, University of St. Gallen, Switzerland Available at http://elektra.mcm. unisg.ch/pbwsc/docs/pfwsc.pdf, 2005.
    • (2005)
    • Peer, J.1
  • 11
  • 14
    • 0038517219 scopus 로고    scopus 로고
    • Weak, strong, and strong cyclic planning via symbolic model checking
    • A. Cimatti, M. Pistore, M. Roveri, P. Traverso: Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence, 147(1/2), pp. 35-84, 2003.
    • (2003) Artificial Intelligence , vol.147 , Issue.1-2 , pp. 35-84
    • Cimatti, A.1    Pistore, M.2    Roveri, M.3    Traverso, P.4
  • 15
    • 38649088835 scopus 로고    scopus 로고
    • OWLS-XPlan: http://projects.semwebcentral.org/projects/owls-xplan/
    • OWLS-XPlan


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.