Artur Niewiadomski

Orcid: 0000-0002-9652-5092

Affiliations:
  • Siedlce University, Poland


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic.
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.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Satisfiability Checking of Strategy Logic with Simple Goals.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020
SAT-Based ATL Satisfiability Checking.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

MsATL: A Tool for SAT-Based ATL Satisfiability Checking.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Applying Modern SAT-solvers to Solving Hard Problems.
Fundam. Informaticae, 2019

2018
TripICS - a Web Service Composition System for Planning Trips and Travels.
Fundam. Informaticae, 2018

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME.
Sci. Ann. Comput. Sci., 2018

2017
Combining ontology reductions with new approaches to automated abstract planning of Planics.
Appl. Soft Comput., 2017

2016
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing.
Fundam. Informaticae, 2016

TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract).
Proceedings of the 25th International Workshop on Concurrency, 2016

2015
SMT-Based Abstract Parametric Temporal Planning.
Trans. Petri Nets Other Model. Concurr., 2015

Generating None-Plans in Order to Find Plans.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Hybrid Planning by Combining SMT and Simulated Annealing.
Proceedings of the 24th International Workshop on Concurrency, 2015

2014
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.
Fundam. Informaticae, 2014

On Generation of Context-Abstract Plans.
Proceedings of the Software Engineering and Formal Methods, 2014

A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework.
Proceedings of the Mobile Web Information Systems - 11th International Conference, 2014

LoLA as Abstract Planning Engine of PlanICS.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

PlanICS 2.0 - A Tool for Composing Services.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

SMT-based Abstract Temporal Planning.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

Generating CA-Plans from Multisets of Services.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
Evolutionary Algorithms for Abstract Planning.
Proceedings of the Parallel Processing and Applied Mathematics, 2013

Towards SMT-based Abstract Planning in PlanICS Ontology.
Proceedings of the KEOD 2013, 2013

Automated abstract planning with use of genetic algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework.
Proceedings of the 22nd International Workshop on Concurrency, 2013

2012
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios.
Fundam. Informaticae, 2012

HarmonICS - a Tool for Composing Medical Services.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

2011
PlanICS - a Web Service Composition Toolset.
Fundam. Informaticae, 2011

2010
Parametric Model Checking with VerICS.
Trans. Petri Nets Other Model. Concurr., 2010

2009
A New Approach to Model Checking of UML State Machines.
Fundam. Informaticae, 2009

Towards Checking Parametric Reachability for UML State Machines.
Proceedings of the Perspectives of Systems Informatics, 2009

2008
VerICS 2007 - a Model Checker for Knowledge and Real-Time.
Fundam. Informaticae, 2008

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


  Loading...