( en | de | ru )

 

Disambiguation of "Moreno, Juan Carlos González"

Author of the publication

copydeleteadd this publication to your clipboard
A Correctness Proof for Warren's HO into FO Translation.

. GULP, page 569-584. (1993)

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.

Juan Carlos Moreno Baños

Carlos Moreno

Juan González-Blanco

Juan Moreno Burgos

Carlos la Garza González

 

Other publications of authors with the same name

A technique fordefining agent-oriented engineering processes with tool support., , , and . Eng. Appl. Artif. Intell., 23 (3): 432-444 (2010)Modeling serious games using AOSE methodologies., , , and . ISDA, page 53-58. IEEE, (2011)Definition of Process Models for Agent-Based Development., , and . AOSE, volume 5386 of Lecture Notes in Computer Science, page 60-73. Springer, (2008)A Correctness Proof for Warren's HO into FO Translation.. GULP, page 569-584. (1993)V-MAS: A Video Conference Multiagent System., , , and . PAAMS, volume 55 of Advances in Intelligent and Soft Computing, page 284-292. Springer, (2009)Design of Multiagent System Architecture., and . COMPSAC, page 565-568. IEEE Computer Society, (2008)INGENIAS-SCRUM Development Process for Multi-Agent Development., , , and . DCAI, volume 50 of Advances in Soft Computing, page 108-117. Springer, (2008)A Higher Order Rewriting Logic for Functional Logic Programming., , and . ICLP, page 153-167. MIT Press, (1997)Application of a Modeling Standard Language on the Definition of Agent Oriented Development Processes., and . PAAMS (Special Sessions and Workshops), volume 71 of Advances in Intelligent and Soft Computing, page 363-370. Springer, (2010)INGENIAS with the Unified Development Process., , , and . Handbook on Agent-Oriented Design Processes, Springer, (2014)