Authors: Trajcevski, G Baral, C Lobo, J

Citation: G. Trajcevski et al., Formalizing and reasoning about the requirements specifications of workflow systems, INT J COOP, 10(4), 2001, pp. 483-507

Authors: Son, TC Baral, C

Citation: Tc. Son et C. Baral, Formalizing sensing actions - A transition function based approach, ARTIF INTEL, 125(1-2), 2001, pp. 19-91

Authors: Baral, C Kreinovich, V Trejo, R

Citation: C. Baral et al., Computational complexity of planning and approximate planning in the presence of incompleteness, ARTIF INTEL, 122(1-2), 2000, pp. 241-267

Authors: Baral, C

Citation: C. Baral, Abductive reasoning through filtering, ARTIF INTEL, 120(1), 2000, pp. 1-28

Authors: Baral, C Gelfond, M Watson, R

Citation: C. Baral et al., Reasoning about actual and hypothetical occurrences of concurrent and non-deterministic actions, APPL LOG S, 12, 1999, pp. 73-109