Artur Niewiadomski

According to our database, Artur Niewiadomski authored at least 34 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL.

Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic.

Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2021

SMT-Based Unbounded Model Checking for ATL.

Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Satisfiability Checking of Strategy Logic with Simple Goals.

Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

SAT-Based ATL Satisfiability Checking.

Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

MsATL: A Tool for SAT-Based ATL Satisfiability Checking.

Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Applying Modern SAT-solvers to Solving Hard Problems.

Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek

Fundam. Informaticae, 2019

2018

TripICS - a Web Service Composition System for Planning Trips and Travels.

Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk, Wojciech Penczek

Fundam. Informaticae, 2018

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.

Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek

Sci. Ann. Comput. Sci., 2018

2017

Combining ontology reductions with new approaches to automated abstract planning of Planics.

Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz, Maciej Szreter, Agata Pólrola

Appl. Soft Comput., 2017

2016

Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing.

Artur Niewiadomski, Jaroslaw Skaruz, Piotr Switalski, Wojciech Penczek

Fundam. Informaticae, 2016

TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract).

Artur Niewiadomski, Wojciech Penczek

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

SMT-Based Abstract Parametric Temporal Planning.

Artur Niewiadomski, Wojciech Penczek

Trans. Petri Nets Other Model. Concurr., 2015

Generating None-Plans in Order to Find Plans.

Michal Knapik, Artur Niewiadomski, Wojciech Penczek

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Hybrid Planning by Combining SMT and Simulated Annealing.

Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek

Proceedings of the 24th International Workshop on Concurrency, 2015

2014

SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.

Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki

Fundam. Informaticae, 2014

On Generation of Context-Abstract Plans.

Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski

Proceedings of the Software Engineering and Formal Methods, 2014

A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework.

Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz

Proceedings of the Mobile Web Information Systems - 11th International Conference, 2014

LoLA as Abstract Planning Engine of PlanICS.

Artur Niewiadomski, Karsten Wolf

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

PlanICS 2.0 - A Tool for Composing Services.

Artur Niewiadomski, Wojciech Penczek

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

SMT-based Abstract Temporal Planning.

Artur Niewiadomski, Wojciech Penczek

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

Generating CA-Plans from Multisets of Services.

Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Evolutionary Algorithms for Abstract Planning.

Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek

Proceedings of the Parallel Processing and Applied Mathematics, 2013

Towards SMT-based Abstract Planning in PlanICS Ontology.

Artur Niewiadomski, Wojciech Penczek

Proceedings of the KEOD 2013, 2013

Automated abstract planning with use of genetic algorithms.

Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework.

Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz

Proceedings of the 22nd International Workshop on Concurrency, 2013

2012

Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios.

Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny

Fundam. Informaticae, 2012

HarmonICS - a Tool for Composing Medical Services.

Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Jaroslaw Skaruz

Proceedings of the 4^th Central-European Workshop on Services and their Composition, 2012

2011

PlanICS - a Web Service Composition Toolset.

Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny

Fundam. Informaticae, 2011

2010

Parametric Model Checking with VerICS.

Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny

Trans. Petri Nets Other Model. Concurr., 2010

2009

A New Approach to Model Checking of UML State Machines.

Artur Niewiadomski, Wojciech Penczek, Maciej Szreter

Fundam. Informaticae, 2009

Towards Checking Parametric Reachability for UML State Machines.

Artur Niewiadomski, Wojciech Penczek, Maciej Szreter

Proceedings of the Perspectives of Systems Informatics, 2009

2008

VerICS 2007 - a Model Checker for Knowledge and Real-Time.

Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny

Fundam. Informaticae, 2008

2006

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter

Fundam. Informaticae, 2006