Jindrich Vodrázka

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 12

Top Topics

Logic Programming

Pseudo Boolean Constraints

Control Knowledge

Classical Planning

Top Venues

Fundam. Informaticae

Publications

Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract). ICDE (2023)
Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning. IEEE Trans. Knowl. Data Eng. 34 (9) (2022)
Jindrich Vodrázka, Roman Barták, Jirí Svancara
On Modelling Multi-Agent Path Finding as a Classical Planning Problem. ICTAI (2020)
Jindrich Vodrázka, Roman Barták, Jirí Svancara
On Modelling Multi-Agent Path Finding as a Classical Planning Problem. SOCS (2020)
Marta Vomlelová, Jindrich Vodrázka, Roman Barták, Lukás Chrpa
Automated Acquisition of Control Knowledge for Classical Planners. ICAART (2) (2020)
Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Sci. Comput. Program. 147 (2017)
Roman Barták, Jindrich Vodrázka
An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner. Fundam. Informaticae 149 (1-2) (2016)
Jindrich Vodrázka, Roman Barták
The Benefit of Control Knowledge and Heuristics During Search in Planning. ICAART (2) (2016)
Roman Barták, Jindrich Vodrázka
The Effect of Domain Modeling on Efficiency of Planning. ISAIM (2016)
Roman Barták, Jindrich Vodrázka
Domain Modeling for Planning as Logic Programming. FLAIRS Conference (2016)
Roman Barták, Jindrich Vodrázka
The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain. TAAI (2015)
Roman Barták, Jindrich Vodrázka
Searching for Sequential Plans Using Tabled Logic Programming. RCRA@AI*IA (2015)
Jindrich Vodrázka, Roman Barták
On Modeling Formalisms for Automated Planning. AIMSA (2014)