Juan Carlos González Moreno
Juan Carlos González Moreno
Department of Computer Science, University of Vigo
Verified email at
Cited by
Cited by
An approach to declarative programming based on a rewriting logic
JC González-Moreno, MT Hortala-Gonzalez, FJ Lopez-Fraguas, ...
The Journal of Logic Programming 40 (1), 47-87, 1999
A higher order rewriting logic for functional logic programming
JC González-Moreno, MT Hortalá-González, M Rodrıguez-Artalejo
Proc. of the Fourteenth International Conference on Logic Programming (ICLP …, 1997
A rewriting logic for declarative programming
JC González-Moreno, MT Hortalá-González, FJ López-Fraguas, ...
Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996
Semantics and types in functional logic programming
JC González-Moreno, MT Hortalá-González, M Rodríguez-Artalejo
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 …, 1999
On the completeness of narrowing as the operational semantics of functional logic programming
J González-Moreno, M Hortalá-González, M Rodríguez-Artalejo
Computer Science Logic, 216-230, 1993
A technique for defining agent-oriented engineering processes with tool support
R Fuentes-Fernández, I García-Magariño, AM Gómez-Rodríguez, ...
Engineering Applications of Artificial Intelligence 23 (3), 432-444, 2010
PEABS : A Process for developing Efficient Agent-Based Simulators
GPN Iván Garcí­a-Magariño, Alma Gómez-Rodrí­guez, Juan C González-Moreno
Engineering Applications of Artificial Intelligence 46 (A), 104-112., 2015
A framework for evaluation of agent oriented methodologies
P Cuesta, A Gómez, JC González, FJ Rodrıguez
Agentes Inteligentes en el Tercer Milenio, 11, 2003
Modeling serious games using AOSE methodologies
A Gómez-Rodríguez, JC González-Moreno, D Ramos-Valcárcel, ...
2011 11th International Conference on Intelligent Systems Design and …, 2011
Ingenias-SCRUM development process for multi-agent development
I García-Magariño, A Gómez-Rodríguez, J Gómez-Sanz, ...
International Symposium on Distributed Computing and Artificial Intelligence …, 2009
A correctness proof for Warren's HO into FO translation
JC Gonzalez-Moreno, J Carlos Gonz'alez-moreno
In Proc. GULP'93, 1993
The MESMA methodology for agent-oriented software engineering
P Cuesta, A Gómez, J González, FJ Rodrıguez
Proceedings of First International Workshop on Practical Applications of …, 2002
Denotational Versus Declarative Semantics For Functional Programming
JCG Moreno, MTH González, J Carlos, G Moreno, M Teresa, H Gonzlez, ...
Lecture Notes in Computer Science:Computer Science Logic 626, 134-148, 1992
Definition of process models for agent-based development
I García-Magariño, A Gómez-Rodríguez, JC González-Moreno
Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE …, 2009
Toy: A multiparadigm declarative language
M Abengózar-Carneros, P Arenas-Sánchez, R Caballero-Roldán, ...
Version, 2002
JC González-Moreno, A Gómez-Rodríguez, R Fuentes-Fernández, ...
Handbook on Agent-Oriented Design Processes, 219-251, 2014
Developing virtual teaching assistants for open e-learning platforms
E Rodríguez, JC Burguillo, DA Rodríguez, FA Mikic, JC Gonzalez-Moreno, ...
2008 19th EAEEIE Annual Conference, 193-198, 2008
Using multi-agent systems to visualize text descriptions
E Bolaño-Rodríguez, JC González-Moreno, D Ramos-Valcarcel, ...
Advances on Practical Applications of Agents and Multiagent Systems: 9th …, 2011
The Ingenias Project: Methods And Tool For Developing Multiagent Systems
JA Botía, JC González, J Gómez, J Pavon
IEEE Latin America Transactions 6 (6), 529-534, 2008
Agent Oriented Software Engineering
P Cuesta, A Gómez, JC González
Issues in Multi-Agent Systems, 1-31, 2008
The system can't perform the operation now. Try again later.
Articles 1–20