AAAAAA

   
Results: 1-3 |
Results: 3
SLDNFA - AN ABDUCTIVE PROCEDURE FOR ABDUCTIVE LOGIC PROGRAMS
Authors: DENECKER M DESCHREYE D
Citation: M. Denecker et D. Deschreye, SLDNFA - AN ABDUCTIVE PROCEDURE FOR ABDUCTIVE LOGIC PROGRAMS, The journal of logic programming, 34(2), 1998, pp. 111-167
ON THE RELATION BETWEEN SITUATION CALCULUS AND EVENT CALCULUS
Authors: VANBELLEGHEM K DENECKER M DESCHREYE D
Citation: K. Vanbelleghem et al., ON THE RELATION BETWEEN SITUATION CALCULUS AND EVENT CALCULUS, The journal of logic programming, 31(1-3), 1997, pp. 3-37
ON THE DUALITY OF ABDUCTION AND MODEL GENERATION IN A FRAMEWORK FOR MODEL GENERATION WITH EQUALITY
Authors: DENECKER M DESCHREYE D
Citation: M. Denecker et D. Deschreye, ON THE DUALITY OF ABDUCTION AND MODEL GENERATION IN A FRAMEWORK FOR MODEL GENERATION WITH EQUALITY, Theoretical computer science, 122(1-2), 1994, pp. 225-262
Risultati: 1-3 |