Authors: Gelfond, M Gabaldon, A

Citation: M. Gelfond et A. Gabaldon, Building a knowledge base: an example, ANN MATH A, 25(3-4), 1999, pp. 165-199

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