Expressivity of STRIPS-Like and HTN-Like Planning. - Marián Lekavý; Pavol Návrat (KES-AMSTA, 2007)

Extension of Rescheduling Based on Minimal Graph Cut. - Marián Lekavý; Pavol Návrat (SOFSEM, 2008)

Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning. - Pavol Mederly; Marián Lekavý; Marek Závodský; Pavol Návrat (CEE-SET, 2009)