( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Database Updates through Abduction

, и . 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings, стр. 650-661. Morgan Kaufmann, (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.

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Pesaresi

 

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

Universal Quantification by Case Analysis., , , и . ECAI, стр. 111-116. (1990)Towards a Logical Semantics for Pure Prolog., , , и . Sci. Comput. Program., 32 (1-3): 145-176 (1998)The KGP Model of Agency., , , , и . ECAI, стр. 33-37. IOS Press, (2004)An Abductive Framework for Extended Logic Programming., , , и . LPNMR, том 928 из Lecture Notes in Computer Science, стр. 330-343. Springer, (1995)MuTACLP: A Language for Declarative GIS Analysis., , , и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 1002-1016. Springer, (2000)Knowledge Assimilation and Abduction., и . Truth Maintenance Systems (ECAI Workshop), том 515 из Lecture Notes in Computer Science, стр. 54-70. Springer, (1990)Web Sites Verification: An Abductive Logic Programming Tool., , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 434-435. Springer, (2007)Intensional Negation of Logic Programs: Examples and Implementation Techniques., , , и . TAPSOFT, Vol.2, том 250 из Lecture Notes in Computer Science, стр. 96-110. Springer, (1987)Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning., , и . Computational Logic: Logic Programming and Beyond, том 2408 из Lecture Notes in Computer Science, стр. 289-310. Springer, (2002)A Progress Report on the LML Project., , , , , и . FGCS, стр. 675-684. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)