Roman Bartak

Available identifiers

zbMath Open bartak.romanMaRDI QIDQ487648

List of research outcomes

Publication	Date of Publication	Type
Diagnosis of intermittent faults in multi-agent systems: an SFL approach	2023-11-16	Paper
Robust Multi-Agent Path Finding and Executing	2020-05-14	Paper
Planning as tabled logic programming	2017-11-09	Paper
Using Attribute Grammars to Model Nested Workflows with Extra Constraints	2016-03-10	Paper
Formulating the template ILP consistency problem as a constraint satisfaction problem	2015-01-22	Paper
Using Tabled Logic Programming to Solve the Petrobras Planning Problem	2014-11-25	Paper
An Introduction to Constraint-Based Temporal Reasoning	2014-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q5411270	2014-04-23	Paper
Discovering implied constraints in precedence graphs with alternatives	2010-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q3568269	2010-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q3400323	2010-02-05	Paper
A Constraint Model for State Transitions in Disjunctive Resources	2009-03-05	Paper
Temporal Reasoning in Nested Temporal Networks with Alternatives	2009-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3536357	2008-11-21	Paper
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models	2008-11-04	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Recent Advances in Constraints	2007-05-02	Paper
Extension of \(O(n \log n)\) filtering algorithms for the unary resource constraint to optional activities	2006-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4814374	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4424865	2003-09-07	Paper
Dynamic global constraints in backtracking based environments	2003-03-10	Paper
Conceptual models for combined planning and scheduling	2001-09-24	Paper

Research outcomes over time

This page was built for person: Roman Bartak