Roman Barták - Publications, H-index & Citations

Roman Barták

Charles University Prague

22H指数

288论文数

2.2K被引数

收录论文 9

发表时间

Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach

artificial intelligence review

IF4.6

2023-11-01

PREAI

Natan, Avraham; Kalech, Meir; Bartak, Roman

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

2022-09-01

PREAI

Chrpa, Lukas; Bartak, Roman; Vodrazka, Jindrich; Vomlelova, Marta

On verification of nested workflows with extra constraints: From theory to practice

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

2014-02-01

PREAI

Bartak, Roman; Rovensky, Vladimir

Logic programming for combinatorial problems

ARTIFICIAL INTELLIGENCE REVIEW

IF13.9

2009-11-25

PREAI

Munakata, Toshinori; Bartak, Roman

Discovering implied constraints in precedence graphs with alternatives

ANNALS OF OPERATIONS RESEARCH

IF4.5

2008-12-13

PREAI

Bartak, Roman; Cepek, Ondrej; Surynek, Pavel

Constraint satisfaction techniques in planning and scheduling

JOURNAL OF INTELLIGENT MANUFACTURING

IF7.4

2008-11-20

OAAI

Bartak, Roman; Salido, Miguel A.; Rossi, Francesca

From enterprise models to scheduling models: bridging the gap

JOURNAL OF INTELLIGENT MANUFACTURING

IF7.4

2008-11-07

PREAI

Bartak, Roman; Little, James; Manzano, Oscar; Sheahan, Con

Constraint processing

artificial intelligence review

IF4.6

2005-12-01

PREAI

Barták, R

Dynamic global constraints in backtracking based environments

ANNALS OF OPERATIONS RESEARCH

IF4.5

2003-01-01

PREAI

Barták, R

研究方向