( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A new proof of undecidability of safety of logic queries.

. SIGACT News, 21 (4): 69-72 (1990)

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.

Luigi Sportelli

Luigi Busarello

Luigi Nardi

Luigi Monni

Luigi Poisson

 

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

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach., , , , , , , , , и 9 other автор(ы). Intell. Serv. Robotics, 8 (2): 77-92 (2015)An architecture for accessing a large number of autonomous, heterogeneous databases., , , и . Netw. Inf. Syst. J., 1 (4-5): 495-518 (1998)The np-specnp-spec Project., и . Intelligenza Artificiale, 7 (1): 37-44 (2013)QoS Management Through Adaptive Reservations., , , , и . Real Time Syst., 29 (2-3): 131-155 (2005)QoS Control for Pipelines of Tasks Using Multiple Resources., и . IEEE Trans. Computers, 59 (3): 416-430 (2010)Outlier detection by logic programming., , и . ACM Trans. Comput. Log., 9 (1): 7 (2007)Efficient Reinforcement Learning for Jumping Monopods., , , , и . CoRR, (2023)On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games, , и . CoRR, (2008)NP-SPEC: an executable specification language for solving all problems in NP., , , , и . Comput. Lang., 26 (2-4): 165-195 (2000)Editorʼs foreword.. J. Comput. Syst. Sci., 78 (1): 1 (2012)