Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

An intelligent hybrid system for planning and composition of Web services

2011/01/B/ST6/01477

Keywords:

Web services automatic composition symbolic methods SMT SAT evolutionary algorithms

Descriptors:

  • ST6_6: Algorithms, parallel, distributed and network algorithms, algorithmic game theory
  • ST6_3: Software engineering, operating systems, software development methods, programming languages
  • ST6_8: Computer graphics, image processing, computer vision, multimedia, computer games

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Wojciech Penczek 

Number of co-investigators in the project: 6

Call: OPUS 1 - announced on 2011-03-15

Amount awarded: 474 880 PLN

Project start date (Y-m-d): 2011-12-27

Project end date (Y-m-d): 2015-04-26

Project duration:: 40 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. Laptop HP Envy (5 000 PLN)
  2. Laptop Dell Vostro (5 000 PLN)
  3. Laptop Dell V131 (5 000 PLN)

Information in the final report

  • Publication in academic press/journals (9)
  • Articles in post-conference publications (17)
  • Book publications / chapters in book publications (4)
  1. BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
    Authors:
    Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Academic press:
    Autonomous Agents and Multi-Agent Systems (rok: 2014, tom: 28(4), strony: 558-604), Wydawca: Springer-Verlag
    Status:
    Published
    DOI:
    10.1007/s10458-013-9232-2 - link to the publication
  2. Comparing Novel Approaches to Automated Abstract Planning of PlanICS
    Authors:
    Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Jarosław Skaruz
    Academic press:
    Journal of Applied Soft Computing (rok: 2015, ), Wydawca: Elsevier
    Status:
    Submitted
    DOI:
    brak - link to the publication
  3. SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework
    Authors:
    Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki
    Academic press:
    Fundamenta Informaticae (rok: 2014, tom: 135(4), strony: 451-466), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2014-1134 - link to the publication
  4. Combining Genetic Algorithm and SMT into Hybrid Approaches to Web Service Composition Problem
    Authors:
    Artur Niewiadomski, Wojciech Penczek, Jarosław Skaruz
    Academic press:
    International Journal On Advances in Software (rok: 2014, tom: 7 (3, 4), strony: 675-685), Wydawca: IARIA
    Status:
    Published
    DOI:
    brak - link to the publication
  5. Folded Hasse diagrams of combined traces
    Authors:
    Łukasz Mikulski, Maciej Koutny
    Academic press:
    Information Processing Letters (rok: 2014, tom: 114(4), strony: 208-216), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ipl.2013.11.009 - link to the publication
  6. Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios
    Authors:
    Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
    Academic press:
    Fundamenta Informaticae (rok: 2012, tom: 120, strony: 181-203), Wydawca: Polish Mathematical Society
    Status:
    Published
    DOI:
    10.3233/FI-2012-756 - link to the publication
  7. Visualisation of concurrent processes
    Authors:
    Łukasz Mikulski, Marcin Piątkowski
    Academic press:
    Control and Cybernetics (rok: 2013, tom: 42(3), strony: 699-725), Wydawca: Instytut Cybernetyki Stosowanej PAN
    Status:
    Published
    DOI:
    brak - link to the publication
  8. Solving the abstract planning problem using genetic algorithms
    Authors:
    Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek
    Academic press:
    Studia Informatica (rok: 2013, tom: 1-2 (17), strony: 45307), Wydawca: UPH Siedlce
    Status:
    Published
    DOI:
    brak - link to the publication
  9. SMT-based Abstract Parametric Temporal Planning
    Authors:
    Artur Niewiadomski, Wojciech Penczek
    Academic press:
    LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) (rok: 2015, ), Wydawca: Springer-Verlag
    Status:
    Accepted for publication
    DOI:
    brak - link to the publication
  1. A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework
    Authors:
    Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz
    Conference:
    Mobile Web Information Systems - 11th International Conference, MobiWIS 2014 (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 27-29 sierpnia 2014
    Status:
    Published
  2. Group synthesis for parametric temporal-epistemic logic
    Authors:
    Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio
    Conference:
    11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012 (rok: 2012, ), Wydawca: International Foundation for Autonomous Agents and Multiagent Systems
    Data:
    konferencja 4-8 czerwca 2012
    Status:
    Published
  3. On Generation of Context-Abstract Plans
    Authors:
    Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
    Conference:
    Software Engineering and Formal Methods - SEFM 2014, WS-FMDS (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 1-2 września 2014
    Status:
    Published
  4. Automated Two-Phase Composition of Timed Web Services
    Authors:
    Maciej Szreter
    Conference:
    10th International Andrei Ershov Memorial Conference, PSI'15 (rok: 2015, ), Wydawca: Springer-Verlag
    Data:
    konferencja 18-20 sierpnia 2015
    Status:
    Accepted for publication
  5. HarmonICS - a Tool for Composing Medical Services
    Authors:
    Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Jarosław Skaruz
    Conference:
    4th Central-European Workshop on Services and their Composition, ZEUS-2012 (rok: 2012, ), Wydawca: CEUR-WS.org 2012 CEUR Workshop Proceedings
    Data:
    konferencja 23-24 luty 2012
    Status:
    Published
    DOI:
    link to the publication
  6. Towards SMT-based Abstract Planning in PlanICS Ontology
    Authors:
    Artur Niewiadomski, Wojciech Penczek
    Conference:
    5th International Conference on Knowledge Engineering and Ontology Development (KEOD 2013) (rok: 2013, ), Wydawca: SCITEPRESS
    Data:
    konferencja 19-22 września 2013
    Status:
    Published
  7. Generating None-Plans in Order to Find Plans
    Authors:
    Michał Knapik, Artur Niewiadomski, Wojciech Penczek
    Conference:
    13th International Conference on Software Engineering and Formal Methods, SEFM'15 (rok: 2015, ), Wydawca: Spinger-Verlag
    Data:
    konferencja 7-11 września 2015
    Status:
    Accepted for publication
  8. Generating CA-Plans from Multisets of Services
    Authors:
    Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
    Conference:
    International Workshop on Petri Nets and Software Engineering, PNSE'14 (rok: 2014, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 23-24 czerwca 2014
    Status:
    Published
    DOI:
    link to the publication
  9. Hybrid Approach to Abstract Planning of Web Services
    Authors:
    Artur Niewiadomski, Wojciech Penczek, Jarosław Skaruz
    Conference:
    The Seventh International Conferences on Advanced Service Computing Service Computation 2015 (rok: 2015, ), Wydawca: IARIA
    Data:
    konferencja 22-27 marca 2015
    Status:
    Published
    DOI:
    link to the publication
  10. SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework (Extended Abstract)
    Authors:
    Artur Niewiadomski, Wojciech Penczek, Jaroslaw SKaruz
    Conference:
    Concurrency, Specification and Programming (CS&P2013) (rok: 2013, ), Wydawca: CEUR and Białystok University of Technology
    Data:
    konferencja 25-27 września 2013
    Status:
    Published
    DOI:
    link to the publication
  11. Automated abstract planning with use of genetic algorithms
    Authors:
    Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2013, ), Wydawca: ACM
    Data:
    konferencja 06-10 lipca 2013
    Status:
    Published
    DOI:
    link to the publication
  12. Genetic Algorithm to the Power of SMT: a Hybrid Approach to Web Service Composition Problem
    Authors:
    Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz
    Conference:
    The Sixth International Conferences on Advanced Service Computing Service Computation 2014 (rok: 2014, ), Wydawca: IARIA
    Data:
    konferencja 25 - 29 maja 2014
    Status:
    Published
    DOI:
    link to the publication
  13. SMT-based Abstract Temporal Planning
    Authors:
    Artur Niewiadomski, Wojciech Penczek
    Conference:
    International Workshop on Petri Nets and Software Engineering, PNSE'14 (rok: 2014, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 23-24 czerwca 2014
    Status:
    Published
    DOI:
    link to the publication
  14. Combining SMT and Simulated Annealing for Web Service Composition
    Authors:
    Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek
    Conference:
    IEEE Conference on Evolving and Adaptive Intelligent Systems (rok: 2015, ), Wydawca: IEEE
    Data:
    konferencja 1-3.12.2015
    Status:
    Submitted
  15. Evolutionary Algorithms for Abstract Planning
    Authors:
    Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek
    Conference:
    10th International Conference on Parallel Processing and Applied Mathematics (PPAM) (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 08-11 września 2013
    Status:
    Published
  16. PlanICS 2.0 - A Tool for Composing Services
    Authors:
    Artur Niewiadomski, Wojciech Penczek
    Conference:
    International Workshop on Petri Nets and Software Engineering, PNSE'14 (rok: 2014, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 23-24 czerwca 2014
    Status:
    Published
    DOI:
    link to the publication
  17. SMT-based parameter synthesis for L/U automata
    Authors:
    Michal Knapik, Wojciech Penczek
    Conference:
    International Workshop on Petri Nets and Software Engineering, PNSE'12 (rok: 2012, ), Wydawca: Universitat Hamburg
    Data:
    konferencja 25-26 czerwca 2012
    Status:
    Published
  1. PlanICS 2.0 - a web service composition system
    Authors:
    Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter
    Book:
    Advances in Software Development (rok: 2013, tom: I, strony: 93-102), Wydawca: Polish Information Processing Society
    Status:
    Published
  2. Towards Automated Abstract Planning Based on a Genetic Algorithm
    Authors:
    Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek
    Book:
    Towards Automated Abstract Planning Based on a Genetic Algorithm (rok: 2012, tom: 1026, strony: 11689), Wydawca: Wydawnictwo IPI PAN
    Status:
    Published
  3. SMT-based Abstract Planning in PlanICS Ontology
    Authors:
    Artur Niewiadomski, Wojciech Penczek, Agata Półrola
    Book:
    SMT-based Abstract Planning in Plan ICS Ontology (rok: 2012, tom: 1027, strony: 15342), Wydawca: Wydawnictwo IPI PAN
    Status:
    Published
  4. Symbolic Model Checking for Temporal-Epistemic Logic
    Authors:
    Alessio Lomuscio, Wojciech Penczek
    Book:
    Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday (rok: 2012, tom: 1, strony: 172-195), Wydawca: Springer
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy