Artur Niewiadomski

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 14

Top Topics

Metric Temporal Logic

Planning Systems

Heuristic Search

Top Venues

Fundam. Informaticae

PNSE @ Petri Nets

Publications

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