( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computational Logic Foundations of KGP Agents.

, , , , и . CoRR, (2014)

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 Matricardi

Paolo Fornara

 

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

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)The KGP Model of Agency., , , , и . ECAI, стр. 33-37. IOS Press, (2004)Complete Logic Programs with Domain-Closure Axiom., , и . J. Log. Program., 5 (3): 263-276 (1988)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)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)A Progress Report on the LML Project., , , , , и . FGCS, стр. 675-684. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)