( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SLD - Resolution with Reflection.

, , , и . ILPS, стр. 554-568. MIT Press, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gaetano Romano

Gaetano Cicinnati

Gaetano Vitale

Gaetano Romano

Raffaele Gaetano

 

Другие публикации лиц с тем же именем

Program Proving: Exit and Return Jumps in Structured Programs., , и . GI Jahrestagung, том 5 из Informatik-Fachberichte, стр. 121-132. Springer, (1976)SLD - Resolution with Reflection., , , и . ILPS, стр. 554-568. MIT Press, (1994)Metalevel Negation and Non-Monotonic Reasoning., и . Meth. of Logic in CS, 1 (1): 111- (1994)Asserting Lemmas in the Stable Model Semantics., , и . JICSLP, стр. 438-452. MIT Press, (1996)Experiments in Answer Sets Planning., , , , и . MICAI, том 1793 из Lecture Notes in Computer Science, стр. 95-107. Springer, (2000)Extending Horn Clause Theories by Reflection Principles., , и . JELIA, том 838 из Lecture Notes in Computer Science, стр. 400-413. Springer, (1994)On Procedural Semantics of Metalevel Negation., и . RCLP, том 592 из Lecture Notes in Computer Science, стр. 140-151. Springer, (1991)Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog., , и . GULP, стр. 285-300. (1993)Program Construction by Refinements Preserving Correctness., и . Comput. J., 18 (1): 55-62 (1975)Extending Explanation-Based Generalization with Metalogic Programming., , и . GULP-PRODE (2), стр. 16-31. (1994)