Artur Niewiadomski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2013–2023
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ECAI | SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny |
| 2021 | KR | Satisfiability Checking of Strategy Logic with Simple Goals. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2021 | VECoS | SMT-Based Unbounded Model Checking for ATL. | Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
| 2020 | KR | SAT-Based ATL Satisfiability Checking. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2015 | SEFM | Generating None-Plans in Order to Find Plans. | Michal Knapik, Artur Niewiadomski, Wojciech Penczek |
| 2014 | SEFM | On Generation of Context-Abstract Plans. | Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski |
| 2013 | GECCO | Automated abstract planning with use of genetic algorithms. | Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek |
| 2013 | IC3K | Towards SMT-based Abstract Planning in PlanICS Ontology. | Artur Niewiadomski, Wojciech Penczek |
| 2013 | PPAM | Evolutionary Algorithms for Abstract Planning. | Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek |