PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Terreni, Giacomo"

Author of the publication

copydeleteadd this publication to your clipboard
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.

, , , , , , , , , and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 340-367. Springer, (2004)

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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Terreni, Giacomo
add a person with the name Terreni, Giacomo
 

Other publications of authors with the same name

Abductive Logic Programming with CIFF: System Description., , , , and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 680-684. Springer, (2004)Planning Partially for Situated Agents., , , and . CLIMA, volume 3487 of Lecture Notes in Computer Science, page 230-248. Springer, (2004)The CIFF Proof Procedure for Abductive Logic Programming with Constraints., , , , and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 31-43. Springer, (2004)The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments., , , , and . TPLP, 9 (6): 691-750 (2009)Programming Applications in CIFF., , , and . LPNMR, volume 4483 of Lecture Notes in Computer Science, page 284-289. Springer, (2007)The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation., , , , , , , , , and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 340-367. Springer, (2004)An Abductive Proof Procedure Handling Active Rules., and . AI*IA, volume 2829 of Lecture Notes in Computer Science, page 105-117. Springer, (2003)Web Sites Verification: An Abductive Logic Programming Tool., , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 434-435. Springer, (2007)Web Sites Repairing through Abduction., , and . Electron. Notes Theor. Comput. Sci., (2009)