Roman Barták

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
https://portal.mardi4nfdi.de/entity/Q2741379	2001-09-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roman Barták