loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Artur Niewiadomski 1 and Wojciech Penczek 2

Affiliations: 1 Siedlce University, Poland ; 2 Institute of Computer Science, Poland

ISBN: 978-989-8565-81-5

Keyword(s): Web Service Composition, SMT, Abstract Planning, Service-oriented Architecture, PlanICS.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Collaboration and e-Services ; e-Business ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Process Knowledge and Semantic Services ; Semantic Web ; Soft Computing ; Symbolic Systems

Abstract: The paper deals with the abstract planning problem -- the first stage of Web Service Composition (WSC) in the PlanICS framework. We present a solution based on a compact representation of abstract plans by multisets of service types and a reduction of the planning problem to a task for an SMT-solver. The paper presents theoretical aspects of the abstract planning as well as some details of our symbolic encoding, followed by preliminary experimental results.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.227.31.145

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Niewiadomski A. and Penczek W. (2013). Towards SMT-based Abstract Planning in PlanICS Ontology.In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013) ISBN 978-989-8565-81-5, pages 123-131. DOI: 10.5220/0004514901230131

@conference{keod13,
author={Artur Niewiadomski and Wojciech Penczek},
title={Towards SMT-based Abstract Planning in PlanICS Ontology},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)},
year={2013},
pages={123-131},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004514901230131},
isbn={978-989-8565-81-5},
}

TY - CONF

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)
TI - Towards SMT-based Abstract Planning in PlanICS Ontology
SN - 978-989-8565-81-5
AU - Niewiadomski A.
AU - Penczek W.
PY - 2013
SP - 123
EP - 131
DO - 10.5220/0004514901230131

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.