Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Inteligentny hybrydowy system planowania i kompozycji usług sieciowych

2011/01/B/ST6/01477

Słowa kluczowe:

usługi sieciowe automatyczna kompozycja metody symboliczne SMT SAT algorytmy ewolucyjne

Deskryptory:

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

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne, m.in.:

Jednostka realizująca:

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

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Wojciech Penczek 

Liczba wykonawców projektu: 6

Konkurs: OPUS 1 - ogłoszony 2011-03-15

Przyznana kwota: 474 880 PLN

Rozpoczęcie projektu: 2011-12-27

Zakończenie projektu: 2015-04-26

Planowany czas trwania projektu: 24 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Laptop Dell Vostro. Za kwotę 5 000 PLN
  2. Laptop Dell V131. Za kwotę 5 000 PLN
  3. Laptop HP Envy. Za kwotę 5 000 PLN

Dane z raportu końcowego

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