( en | de | ru )

 

Disambiguation of "Moreno, Juan Carlos González"

Author of the publication

copydeleteadd this publication to your clipboard
An Approach to Declarative Programming Based on a Rewriting Logic.

, , , and . J. Log. Program., 40 (1): 47-87 (1999)

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

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