Towards SMT-based Abstract Planning in PlanICS Ontology

Artur Niewiadomski; Wojciech Penczek

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Towards SMT-based Abstract Planning in PlanICS Ontology

Topics: Process Knowledge and Semantic Services; Semantic Web

In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 0IC3K, 123-131, 2013 , Vilamoura, Algarve, Portugal

Authors: Artur Niewiadomski ¹ and Wojciech Penczek ²

Affiliations: ¹ Siedlce University, Poland ; ² Institute of Computer Science, Poland

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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 (IC3K 2013) - KEOD; ISBN 978-989-8565-81-5; ISSN 2184-3228, SciTePress, 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 (IC3K 2013) - KEOD},
year={2013},
pages={123-131},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004514901230131},
isbn={978-989-8565-81-5},
issn={2184-3228},
}

TY - CONF

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