September 1985: "Diplôme d'Etudes Approfondies” in Artificial Intelligence, Université Pierre et Marie Curie (UMPC), Paris, France (MS equivalent).
1985: "Diplôme d'Ingénieur" Ecole Supérieure d'Informatique-Electronique-Automatique,
1984: "Licence" in
2004-May 2005: Visiting Researcher, Laboratoire d’Informatique de Paris
6, Université Pierre et Marie Curie, (LIP6-UPMC),
· Current projects as principal investigator:
o ROARS (Reuse-Oriented Automated Reasoning Software) model-driven, aspect-oriented engineering of an extensible automated reasoning component framework based on upgrades of the KobrA method and the CHRÚ rule-based constraint programming language (cooperation with Universität Mannheim, Universität Ulm and Fraunhofer-Gesellschaft Institute FIRST in Berlin, funded by CAPES-DAAD).
MODELOG (Model-Oriented Development with Executable Logical
Object Generation) fully automated generation through ATL model
transformations of Flora executable object-oriented logic
programs from UML
models with OCL
constraints (cooperation with LIP6-UMPC,
o ORCAS (Ontologies and Reasoning Components for Agent-based Simulations) model-driven, agent-oriented simulation engineering.
· Past projects as principal investigator:
o MAVERICK (Model-driven Architecture for Voice-Enabled Recommendation, Internet Content and Knowledge), model-driven architecture integrating ontologies, web services, voice portals and natural language generation to provide voice browsing access to web content with case study on a ubiquitous movie recommendation site.
o Cigolf, induction from example data of object-oriented logic programs in Flora.
o MRFC (Maracatu Robô Futebol Clube), model-driven engineering of soccer agent team and team analysis and debugging environment for simulated league.
· Past project as collaborator:
Smart-es, machine learning methods for
adaptive agents in e-commerce, web information gathering and games (cooperation
o Virtual Learning Partners with Adaptive Behaviors, intelligent facilitator agents in educational collaborative systems (funded by CNPq).
1997 - May 2002: Visiting Professor, Departamento de Informática, Universidade Federal do Pernambuco,
· Projects as principal investigator:
o MATRIKS (Multidimensional Analysis and Textual Reporting of Insight Knowledge Summaries), automated generation of natural language hypertexts that summarize results from knowledge discovery processes, with case study in outlier mining in OLAP databases (funded by CNPq).
o ExpanSyn, empirical measurement of web search query expansion based on synonyms and hyponyms encountered in lexical database WordNet.
1995 - November 1997: Post-doctoral researcher, Departamento
de Informática, Universidade Federal do Pernambuco,
· Projects as participant:
o BRIGHT, distributed and knowledge-based web search (funded by CNPq)
o SADE, automated generation of natural language software documentation from formal software specification in modular object-oriented Z (funded by CNPq)
April - October 1995: Researcher,
· Project as participant:
o MAGIC (Multimedia Automated Generation for Intensive Care), automated generation of multimedia presentation coordinating text, graphics, speech and animation with case study in ICU patient condition summaries.
May 1993 - October 1995: Research consultant, Bellcore,
· Projects as participant:
o FlowDoc, automated generation of business reengineering plans natural language summaries from workflows.
o PlanDoc, automated generation of telephony equipment installation plans natural language summaries from planning system reasoning traces.
· Research advising
Concluded PhD. Thesis:
· Hendrik Macedo, A Software Architecture for Ubiquitous Web Browsing with Application to Recommendation Systems, 2006, CIn-UFPE.
· Rosely Lacerda, Computational grammar of the Portuguese noun phrase, 2001, Literature and Linguistics Department, Universidade Federal de Alagoas (as co-advisor).
· Eloi Favero, Generating hypertext summaries of quantitative data in multi-dimensional databases, 2000, CIn-UFPE.
Concluded Master’s Thesis:
· Klebson Silva, Analysing and degugging multi-agent systems based on object-oriented logic with application to RoboCup, 2004, CIn-UFPE.
· Erivan Andrade, Induction of object-oriented logic programs, 2003, CIn-UFPE.
· Alexandre Damasceno, Developing soccer agents with objects and logic. 2003, CIn-UFPE.
· Fabio Pereira, A component for outlier mining in OLAP databases, 2003, CIn-UFPE.
· Marcelino Pereira, SKDQL, a declarative language for specifying knowledge discovery queries and tasks and its implementation, 2002, CIn-UFPE.
· Franklin Ramalho, Evaluation of thesaurus-based query expansion in web search engine, 2000, CIn-UFPE.
· Natasha Queiroz, An API to connect OLAP and object-oriented deductive databases, 2000, CIn-UFPE.
· Robson Fidalgo, A Java API to access OLAP databases, 2000, CIn-UFPE.
On-going advising activities: four PhD. Students and two Master Students.
March 1996, Centro de Informática,
Universidade Federal do Pernambuco,
· Graduate courses:
o Software reuse
o Symbolic artificial intelligence
o Advanced topics in symbolic artificial intelligence
o Intelligent agents
o Data mining and knowledge discovery
Natural language processing
· Undergraduate courses:
o Model-driven engineering and software components
o Machine learning
o Software development project
o Introduction to artificial intelligence
o Logic programming
1989 - May 1990:
· Undergraduate course: Lisp programming
January-December 2003: Centro dos Estudos e Sistemas Avançados do Recife, (CESAR), Brazil, specification of the mission, administrative and fundraising policies of an information technology innovation center.
§ Franklin Ramalho, Jacques Robin and Ulrich Schiel. Concurrent transaction frame logic formal semantics for UML activity and class diagrams. Electronic Notes in Computer Science, 95(17), 2004.
§ Franklin Ramalho and Jacques Robin. Avaliação empiríca da expansão de consultas baseadas em Thesaurus: aplicação a engenhos de busca na web. Revista de Informática Teórica e Aplicada (RITA), 10(2), 2004
§ Franklin Ramalho, Jacques Robin and Roberto Barros. XOCL, an XML language for representing logical constraints in object-oriented models. Journal of Universal Computer Science, 9(8), Springer, 2003.
§ Flávia Barros and Jacques Robin. Processament de Linguagem Natural. Revista Eletrónica de Iniciação Científica, 1(2), 2001.
§ Eloi Favero and Jacques Robin. Um ambiente de desenvolvimento de gramáticas computacionais para o português. Revista de Informática Teórica e Aplicada (RITA). Editora do Instituto de Informática da UFRGS. 1999.
§ Michael Elhadad , Kathy McKeown and Jacques Robin. Floating constraints in lexical choice. Computational Linguistics, 23(2), 1997.
§ Jacques Robin and Kathy McKeown. Empirically designing and evaluating a new revision-based model for summary generation. Artificial Intelligence, 85(1-2). 1996.
§ Kathy McKeown, Jacques Robin and Karen Kukich. Generating concise natural langage summaries. Information Processing and Management, 31(5). 1995.
§ Hendrik Macedo and Jacques Robin. Increasing profitability : voice-based browsing for recommendation system web services. Lecture Notes in Artificial Intelligence, 3538, Springer, 2005.
§ Marcelino Pereira and Jacques Robin. SKDQL, a structured language to specify knowledge discovery processes and queries. Lecture Notes in Artificial Intelligence 3171, Springer, 2004
§ Eloi Favero and Jacques Robin. Using OLAP and Data Mining for Content Planning in Natural Language Generation. Lecture Notes in Computer Science, 1959, Springer, 2000.
§ Jacques Robin. Evaluating the robustness and scalability of revision-based natural langage generation. Lecture Notes in Computer Science 1159. 1996.
Karen Kukich, Kathy McKeown, James Shaw,
Jacques Robin, Neil Morgan and Jim Phillips. User-needs analysis and design methodology for an automated document
generator. In Current Issues in Computational Linguistics: In Honor of Don
Walker. Zampolli, A., Calzolari,
N. and Palmer, M. Eds. Kluwer Academic Press,
Jacques Robin. A revision-based
generation architecture for reporting facts in their historical context. In
New Concepts in Natural Language generation: Planning, Realization and Systems,
Horacek, H. and Zock, M.
Eds. Frances Pinter,
§ Michael Elhadad and Jacques Robin. Controlling content realization with functional unification grammars. Lecture Notes in Computer Science 587, 1992.
Kathy McKeown, Michael Elhadad, Yumiko Fukumoto, Jong Lim, Christina Lombardi, Jacques Robin and Frank Smadja.
Text generation in COMET. In Current Research in Natural Language generation. Dale, R., Mellish, C.S. and Zock, M. Eds. Academic Press. 1990.
Jacques Robin and Jairson
Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components.
20th Workshop on Logic Programming (WLP'2006),
Xavier Blanc, Franklin Ramalho and
Jacques Robin. Metamodel reuse with MOF. ACM/IEEE 8th
International Conference on Model-Driven Engineering, Languages and Systems.
Hendrik Macedo, Jacques Robin and Roberto Barros. Web Engineering meets Natural Language Processing:
a Vocal Interface Generation Practice. Simpósio Brasileiro de Sistemas Multimídia e Web. Poços de
Luciano Barbosa, Ana Carolina Salgado, Francisco de Carvalho, Jacques
Robin and Juliana Freire. Looking at both the Present and the Past to Efficiently Update Replicas of Web Content. ACM International Workshop on Web Information and Data Management (WIDM’2005),
Hendrik Macedo and Jacques Robin. A mediator architecture providing ubiquitous access via voice portals,
web services, ontologies and natural language
generation. International Information and Telecommunication Technologies
Franklin Ramalho and Jacques
Robin. Mapping UML class diagrams to object-oriented logic programs for
model-driven development. Third UML Workshop in Software Model Engineering
Fabio Pereira and Jacques Robin. Um componente de mineração
de exceções em cubos de dados OLAP. Simpósio
Brasileiro de Sistemas de Informação (SBIS’2004).
Franklin Ramalho, Jacques Robin and
Ulrich Schiel. Concurrent
transaction frame logic formal semantics for UML activity and class diagrams.
Sixth Brazilian Symposium on Formal methods, (WMF'2003),
Jacques Robin and Franklin Ramalho: Can ontologies
improve web search engines effectiveness before the advent of the semantic web?
Simpósio Brasileiro de Banco de Dados, 2003, (SBBD'2003)
Ryan Albuquerque, Paulo Guedes, Carlos
Figueira, Jacques Robin and Geber Ramalho.
Embedding J2ME-based Inference Engine in
Handheld Devices: The KEOPS Case Study. Workshop on Ubiquitous Agents on
embedded, wearable and mobile devices,
Jacques Robin and Eloi Favero. Natural
Language Generation Meets Knowledge Discovery in Databases. Third
International Conference on Data Integration and Web-based Applications and Services,
Jacques Robin and Franklin Ramalho. Evaluating Wordnet-based
Query Expansion in a Web Search Engine Setting. International Workshop on
Information Retrieval, 2001,
§ Jacques Robin and Eloi Favero. Content Aggregation in Natural Language Hypertext Summarization of Data Mining Discoveries. First International Conference on Natural Language Génération, 2000, Mitzpe-Ramon, Israël (INLG´2000).
Jacques Robin. Evaluating
the portability of revision rules for incremental summary generation. 34th
Annual Meeting of the Association for Computational Linguistics. 1996,
Becky Passoneau, Karen Kukich, Jacques Robin, Vasileios Hatzivassiloglou, Larry Lefkowitz
and Hongyang Jin. Generating
Summaries of Work Flow Diagrams. International Conference on Natural
Language Processing and Industrial Applications. 1996,
Jacques Robin. Automatic
generation and revision of natural langage summaries
providing historical background. 11th Brazilian Symposium on Artificial
Jacques Robin and Kathy McKeown. Corpus
analysis for revision-based generation of complex sentences. 11th National
Conference on Artificial Intelligence, 1993,
Kathy McKeown, Jacques Robin and
Michael Tanenblatt. Tailoring lexical choice to the user's vocabulary in multimedia
explanation generation. 31st Annual Meeting of the Association for
Computational Linguistics, 1993,
Kathy McKeown, Steve Feiner , Jacques
Robin, Doree Seligmann and Michael
cross-references for multimedia explanation. Proceedings of the 10th
National Conference on Artificial Intelligence. 1992,
· Software Reuse: Model-Driven, Component-Based, Aspect-Oriented and Agent-Oriented Software Engineering
· Automated Reasoning: Rule-Based Constraint Programming, Object-Oriented, Abductive, Inductive and Probabilistic Logic Programming
· Multi-Agent Simulations for Games and Tutoring Systems