Roman Bartak

From MaRDI portal
Person:487648



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Diagnosis of intermittent faults in multi-agent systems: an SFL approach
Artificial Intelligence
2023-11-16Paper
Robust multi-agent path finding and executing
Journal of Artificial Intelligence Research
2020-05-14Paper
Planning as tabled logic programming
Theory and Practice of Logic Programming
2017-11-09Paper
Using attribute grammars to model nested workflows with extra constraints
Lecture Notes in Computer Science
2016-03-10Paper
Formulating the template ILP consistency problem as a constraint satisfaction problem
Constraints
2015-01-22Paper
Using tabled logic programming to solve the Petrobras planning problem
Theory and Practice of Logic Programming
2014-11-25Paper
An introduction to constraint-based temporal reasoning
Synthesis Lectures on Artificial Intelligence and Machine Learning
2014-06-20Paper
scientific article; zbMATH DE number 6287326 (Why is no real title available?)2014-04-23Paper
Discovering implied constraints in precedence graphs with alternatives
Annals of Operations Research
2010-12-22Paper
Solving sequential planning problems via constraint satisfaction2010-06-17Paper
Constraint satisfaction techniques in planning and scheduling: an introduction2010-02-05Paper
A Constraint Model for State Transitions in Disjunctive Resources
Lecture Notes in Computer Science
2009-03-05Paper
Temporal Reasoning in Nested Temporal Networks with Alternatives
Lecture Notes in Computer Science
2009-01-13Paper
scientific article; zbMATH DE number 5370184 (Why is no real title available?)2008-11-21Paper
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
Artificial Intelligence: Methodology, Systems, and Applications
2008-11-04Paper
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science
2008-09-09Paper
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science
2008-09-09Paper
Recent Advances in Constraints
Lecture Notes in Computer Science
2007-05-02Paper
Extension of \(O(n \log n)\) filtering algorithms for the unary resource constraint to optional activities
Constraints
2006-11-03Paper
scientific article; zbMATH DE number 2098018 (Why is no real title available?)2004-09-07Paper
scientific article; zbMATH DE number 1975622 (Why is no real title available?)2003-09-07Paper
Dynamic global constraints in backtracking based environments
Annals of Operations Research
2003-03-10Paper
Conceptual models for combined planning and scheduling2001-09-24Paper


Research outcomes over time


This page was built for person: Roman Bartak