Artur Niewiadomski

36 papers A* 2A 3B 1C 2Journal 15Unranked 13
YearRankTypeTitle / Venue / Authors
2024 A conf
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL.
AAMAS
Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny
2023 J jnl
MsATL: a Tool for SAT-Based ATL Satisfiability Checking.
CoRR
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
2023 A conf
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic.
ECAI
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny
2021 C conf
SMT-Based Unbounded Model Checking for ATL.
VECoS
Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek
2021 A* conf
Satisfiability Checking of Strategy Logic with Simple Goals.
KR
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
2020 A conf
MsATL: A Tool for SAT-Based ATL Satisfiability Checking.
AAMAS
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
2020 A* conf
SAT-Based ATL Satisfiability Checking.
KR
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
2020 J jnl
SAT-Based ATL Satisfiability Checking.
CoRR
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
2019 J jnl
Applying Modern SAT-solvers to Solving Hard Problems.
Fundam. Informaticae
Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek
2018 J jnl
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.
Sci. Ann. Comput. Sci.
Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek
2018 J jnl
TripICS - a Web Service Composition System for Planning Trips and Travels.
Fundam. Informaticae
Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk, Wojciech Penczek
2017 J jnl
Combining ontology reductions with new approaches to automated abstract planning of Planics.
Appl. Soft Comput.
Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz, Maciej Szreter, Agata Pólrola
2016 J jnl
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing.
Fundam. Informaticae
Artur Niewiadomski, Jaroslaw Skaruz, Piotr Switalski, Wojciech Penczek
2016 — conf
TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract).
CS&P
Artur Niewiadomski, Wojciech Penczek
2015 B conf
Generating None-Plans in Order to Find Plans.
SEFM
Michal Knapik, Artur Niewiadomski, Wojciech Penczek
2015 — conf
Hybrid Planning by Combining SMT and Simulated Annealing.
CS&P
Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek
2015 J jnl
SMT-Based Abstract Parametric Temporal Planning.
Trans. Petri Nets Other Model. Concurr.
Artur Niewiadomski, Wojciech Penczek
2014 — conf
A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework.
MobiWIS
Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz
2014 — conf
Generating CA-Plans from Multisets of Services.
PNSE @ Petri Nets
Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski
2014 — conf
LoLA as Abstract Planning Engine of PlanICS.
PNSE @ Petri Nets
Artur Niewiadomski, Karsten Wolf
2014 — conf
On Generation of Context-Abstract Plans.
SEFM Workshops
Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski
2014 — conf
PlanICS 2.0 - A Tool for Composing Services.
PNSE @ Petri Nets
Artur Niewiadomski, Wojciech Penczek
2014 J jnl
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.
Fundam. Informaticae
Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki
2014 — conf
SMT-based Abstract Temporal Planning.
PNSE @ Petri Nets
Artur Niewiadomski, Wojciech Penczek
2013 — conf
Automated abstract planning with use of genetic algorithms.
GECCO (Companion)
Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek
2013 — conf
Evolutionary Algorithms for Abstract Planning.
PPAM (1)
Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek
2013 — conf
SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework.
CS&P
Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz
2013 C conf
Towards SMT-based Abstract Planning in PlanICS Ontology.
KEOD
Artur Niewiadomski, Wojciech Penczek
2012 — conf
HarmonICS - a Tool for Composing Medical Services.
ZEUS
Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Jaroslaw Skaruz
2012 J jnl
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios.
Fundam. Informaticae
Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
2011 J jnl
PlanICS - a Web Service Composition Toolset.
Fundam. Informaticae
Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
2010 J jnl
Parametric Model Checking with VerICS.
Trans. Petri Nets Other Model. Concurr.
Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
2009 J jnl
A New Approach to Model Checking of UML State Machines.
Fundam. Informaticae
Artur Niewiadomski, Wojciech Penczek, Maciej Szreter
2009 — conf
Towards Checking Parametric Reachability for UML State Machines.
Ershov Memorial Conference
Artur Niewiadomski, Wojciech Penczek, Maciej Szreter
2008 J jnl
VerICS 2007 - a Model Checker for Knowledge and Real-Time.
Fundam. Informaticae
Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
2006 J jnl
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.
Fundam. Informaticae
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter