Zmiana języka

Projects search

An intelligent hybrid system for planning and composition of Web services

2011/01/B/ST6/01477

Keywords

Descriptors

  • ST6_6: Technologie i systemy informatyczne
  • ST6_3: Metody formalne
  • ST6_8: Systemy inteligentne

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

Voivodeship: 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
2011-12-27
Project end date
2015-04-26
Project duration
40 months (the same as in the proposal)
Project status
Project settled

Equipment purchased [PL]

  1. Laptop Dell V131. Cost: 5 000 PLN
  2. Laptop Dell Vostro. Cost: 5 000 PLN
  3. Laptop HP Envy. Cost: 5 000 PLN

Information in the final report

Publication in academic press/journals (8)

  1. 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 (year: 2014, volume: 135(4), pages: 451-466), Publisher: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2014-1134 – link to the publication

  2. Visualisation of concurrent processes

    Authors:
    Łukasz Mikulski, Marcin Piątkowski
    Academic press:
    Control and Cybernetics (year: 2013, volume: 42(3), pages: 699-725), Publisher: Instytut Cybernetyki Stosowanej PAN
    Status:
    Published
    DOI:
    link to the publication

  3. 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 (year: 2012, volume: 120, pages: 181-203), Publisher: Polish Mathematical Society
    Status:
    Published
    DOI:
    10.3233/FI-2012-756 – link to the publication

  4. 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 (year: 2014, volume: 28(4), pages: 558-604), Publisher: Springer-Verlag
    Status:
    Published
    DOI:
    10.1007/s10458-013-9232-2 – link to the publication

  5. Folded Hasse diagrams of combined traces

    Authors:
    Łukasz Mikulski, Maciej Koutny
    Academic press:
    Information Processing Letters (year: 2014, volume: 114(4), pages: 208-216), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ipl.2013.11.009 – link to the publication

  6. 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 (year: 2014, volume: 7 (3, 4), pages: 675-685), Publisher: IARIA
    Status:
    Published
    DOI:
    link to the publication

  7. Solving the abstract planning problem using genetic algorithms

    Authors:
    Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek
    Academic press:
    Studia Informatica (year: 2013, volume: 1-2 (17), pages: 46038), Publisher: UPH Siedlce
    Status:
    Published

  8. SMT-based Abstract Parametric Temporal Planning

    Authors:
    Artur Niewiadomski, Wojciech Penczek
    Status:
    Accepted for publication

Articles in post-conference publications (16)

  1. 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 (year: 2012, pages: 1107-1114), Publisher: International Foundation for Autonomous Agents and Multiagent Systems
    Date:
    conference 4-8 czerwca 2012
    Status:
    Published

  2. 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 (year: 2012, pages: 46031), Publisher: CEUR-WS.org 2012 CEUR Workshop Proceedings
    Date:
    conference 23-24 luty 2012
    Status:
    Published
    DOI:
    link to the publication

  3. SMT-based parameter synthesis for L/U automata

    Authors:
    Michal Knapik, Wojciech Penczek
    Conference:
    International Workshop on Petri Nets and Software Engineering, PNSE'12 (year: 2012, pages: 77-92), Publisher: Universitat Hamburg
    Date:
    conference 25-26 czerwca 2012
    Status:
    Published

  4. 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 (year: 2014, pages: 376-288), Publisher: Springer
    Date:
    conference 1-2 września 2014
    Status:
    Published

  5. 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 (year: 2014, pages: 44-48), Publisher: IARIA
    Date:
    conference 25 - 29 maja 2014
    Status:
    Published
    DOI:
    link to the publication

  6. 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 (year: 2015, pages: 35-40), Publisher: IARIA
    Date:
    conference 22-27 marca 2015
    Status:
    Published
    DOI:
    link to the publication

  7. SMT-based Abstract Temporal Planning

    Authors:
    Artur Niewiadomski, Wojciech Penczek
    Conference:
    International Workshop on Petri Nets and Software Engineering, PNSE'14 (year: 2014, pages: 55-74), Publisher: CEUR-WS.org
    Date:
    conference 23-24 czerwca 2014
    Status:
    Published
    DOI:
    link to the publication

  8. 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 (year: 2014, pages: 17-28), Publisher: Springer
    Date:
    conference 27-29 sierpnia 2014
    Status:
    Published

  9. PlanICS 2.0 - A Tool for Composing Services

    Authors:
    Artur Niewiadomski, Wojciech Penczek
    Conference:
    International Workshop on Petri Nets and Software Engineering, PNSE'14 (year: 2014, pages: 351-352), Publisher: CEUR-WS.org
    Date:
    conference 23-24 czerwca 2014
    Status:
    Published
    DOI:
    link to the publication

  10. 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 (year: 2014, pages: 347-348), Publisher: CEUR-WS.org
    Date:
    conference 23-24 czerwca 2014
    Status:
    Published
    DOI:
    link to the publication

  11. 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) (year: 2013, pages: 309-321), Publisher: CEUR and Białystok University of Technology
    Date:
    conference 25-27 września 2013
    Status:
    Published
    DOI:
    link to the publication

  12. 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) (year: 2013, pages: 123-131), Publisher: SCITEPRESS
    Date:
    conference 19-22 września 2013
    Status:
    Published

  13. Automated abstract planning with use of genetic algorithms

    Authors:
    Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (year: 2013, pages: 129-130), Publisher: ACM
    Date:
    conference 06-10 lipca 2013
    Status:
    Published

  14. Evolutionary Algorithms for Abstract Planning

    Authors:
    Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek
    Conference:
    10th International Conference on Parallel Processing and Applied Mathematics (PPAM) (year: 2013, pages: 46032), Publisher: Springer
    Date:
    conference 08-11 września 2013
    Status:
    Published

  15. 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 (year: 2015), Publisher: Spinger-Verlag
    Status:
    Accepted for publication

  16. Automated Two-Phase Composition of Timed Web Services

    Authors:
    Maciej Szreter
    Conference:
    10th International Andrei Ershov Memorial Conference, PSI'15 (year: 2015), Publisher: Springer-Verlag
    Status:
    Accepted for publication

Book publications / chapters in book publications (4)

  1. 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 (year: 2012, volume: 1, pages: 172-195), Publisher: Springer
    Status:
    Published

  2. SMT-based Abstract Planning in PlanICS Ontology

    Authors:
    Artur Niewiadomski, Wojciech Penczek, Agata Półrola
    Book:
    SMT-based Abstract Planning in Plan ICS Ontology (year: 2012, volume: 1027, pages: 15342), Publisher: Wydawnictwo IPI PAN
    Status:
    Published

  3. 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 (year: 2013, volume: I, pages: 93-102), Publisher: Polish Information Processing Society
    Status:
    Published

  4. 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 (year: 2012, volume: 1026, pages: 11689), Publisher: Wydawnictwo IPI PAN
    Status:
    Published

« New search

Graphic design and implementation: Jakub Piotrowski