20/08/2001:
Alexandre: CMUnited campeão 98-99 da RoboCup Parte I
27/08/2001:
Alexandre: CMUnited campeão 98-99 da RoboCup Parte II
03/09/2001:
Rodrigo: Avaliação do uso do Wordnet para classificação de texto
26/11:
Alexandre: FC Portugal campeão 00 da RoboCup
30/11:
Hendrik: VoiceXML e WML
Hendrik: Tradução de web escrito para web falado, problematica geral e estado
da arte
10/12:
Marcelino, Erivan e Rodrigo: Processo de KDD CRISP-DM 1.0 da SPSS e demo de
Clementine
Marcelino e Erivan: Common Warehousing MetaModel, o padrão da OMG para
intercambio de metadados sobre data warehouses e componentes
17/12:
Fabio Moura: OCCOM, um componente Java de mineração de exceções em cubos OLAP
20/12:
Alexandre: RoboLog,
time de RoboCup usando UML e Prolog.
18/07:
25/07:
· Alexandre:
Tsingahleou
time campão da divisão simulação da RoboCup 2001.
01/08:
08/08:
· Franklin:
XMI
· Klebson:
Ambientes de
visualização e depuração de sistemas multi-agentes
20/08:
11/09:
· Alexandre:
Arquitetura do MaracatuRFC time Pernambucano de RoboCup em UML
03/10:
· Erivan:
Memoização
em Programação em Lógica 12:00
· Leonardo:
Mapeamento entre modelagem OO e modelagem multi-dimensional 20:00
10/10:
· Alexandre,
Klebson e Leonardo: um
ontologia UML da RoboCup 12:00 (Ontologia.ps)
Parte I e II
17/10:
· Alexandre,
Klebson e Leonardo: um
ontologia UML da RoboCup 12:00 (Ontologia.ps)
Parte I
· Erivan:
Traduação de
Flora para XSB 20:00
24/10:
· Erivan:
Codificação orientada a objetos em F-Logic de exemplos positvos e negativos, de
conhecimento prévio e de viés de aprendizagem para programação em lógica
indutiva 12:00 Parte I
· Paulinho:
Um modelo multidimensional de dados para geração de comentários sobre bolão de
futebol na web 20:00 Parte I
19/11:
· Erivan:
Codificação orientada a objetos em F-Logic de exemplos positvos e negativos, de
conhecimento prévio e de viés de aprendizagem para programação em lógica
indutiva 12:00 Parte II
· Franklin:
XOCL, uma codificação XML da linguagem OCL de especificação restrições em
modelos UML 19:00
26/11:
· Paulinho:
Ontologia das mensagens do Zé Bolão 12:00
· Erivan:
Aleph, um motor versátil
de programação em lógica indutiva 19:00
03/12:
· Erivan:
Port do motor de programação em lógica indutiva Aleph de um Prolog com
aprofundamento iterativo para um Prolog com memoização 12:00
10/12:
· Erivan
e Klebson:
Modelagens
alternativos de conhecimento em Flora, estudo de caso com Bongard e AstroBio
12:00
14/01: Alexandre: Modelagem
com UML para programação lógica orientada a objetos de sistemas multi-agente,
ilustrada no MaracatuRFC 1.0 12:00
21/01:
· Jacques:
Visão
geral de Flora e papel na pesquisa do grupo
· Franklin:
Tradução de modelos
UML para programas Flora
28/01: Jacques: Projeto de
Metodologia de Engenharia de Software Multi-Agentes
04/02: Jacques: Projetos de Geração
Automática de Hipertexto em Linguagem Natural
09/04: Franklin:
Estado da arte em verificação de consistência de modelo UML (parte I)
16/04: Klebson: Estado da
arte em análise e depuração de sistemas multiagentes (parte II)
23/04: Paulinho:
OLAP e mineração de um armazém de dados do Zé Bolão, resultados atuais e
trabalhos futuros.
25/04: Hendrik:
Estado da arte em sistemas de recomendações
30/04: Klebson:
Informações necessárias e suas formas de apresentação par uma interface de
visualização e depuração de times de RoboCup e proposta de telas de interface
07/05: Erivan:
Tradução Flora/Aleph de conhecimento prévio e viés de aprendizagem
09/05: Franklin e
Klebson: Meta-modelo UML do Flora (Versão 1.0)
14/05: Hendrik: Uma ontologia de
sistemas de recomendação
16/05: Franklin: Ensaio
da palestra do SBLP2003, XOCL: an XML language for specifying logical
constraints on object-oriented models
06/06: André:
Tradução de programas Flora para Oracle9i, resultados atuais e direções
futuras.
11/06: Franklin e
Klebson: Meta-modelo UML do Flora (Versão 1.1)
13/06: Hendrik e
Paulinho: Formatação e linearização em geração automática de resumos
navegáveis em linguagem natural
27/06: Klebson:
Meta-modelo de análise e depuração de agente baseado em objetos, regras e na
arquitetura de agente do Maracatu RFC
18/07: Hendrik e
Paulinho: Estado da arte em
modelagem UML de sites web
23/07: Hendrik e
Paulinho: Organização do hipertexto
e das páginas web do Zé Bolão e VERBS I
25/07: Franklin:
Estado da arte em semântica forma de UML
01/08: Paulinho: Ontologia
das mensagens do Zé Bolão com exemplo de conteúdo de texto alvo em diagrama de
objeto I
08/08: Klebson: Meta-modelo
corrigido e XML Schema de rastros de análise e depuração de agente baseado em
objetos, regras e na arquitetura de agente do Maracatu RFC
08/08: Klebson:
Arquitetura de um ambiente de visualização e depuração para RoboCup
11/08: Paulinho:
Ontologia das mensagens do Zé Bolão com exemplo de conteúdo de texto alvo em
diagrama de objeto II 8h30
13/08: André: Comparação
de encadeamento de regras para frente e para trás em máquinas de inferência
dedutiva da 1a ordem, ênfase nas questões de terminação, completude,
corretude, negação por falha e manutenção da verdade 7h
15/08: Franklin e
Klebson: um XML Schema de XFL, uma versão de Flora em sintaxe XML 7h
15/08: Franklin:
Mapeamento de UML para F-Logic, parte estrutural 9h
18/08: Erivan:
Ensaio de defesa de dissertação
22/08: Klebson:
Modelo E-R de BD de armazenamento de trace de SMA Flora
26/11: André:
Comparação das máquinas de inferência F-Logic: Flora, Lopix, Sirli e Triple
: Klebson: Modelos de navegação e apresentação de
depuração de time da RoboCup
03/21: André:
Capitulo 1 e 2 de KobrA
: Hendrik e Paulinho:
Organização de frases em geração automática de resumos navegáveis em
linguagem natural
10/12: André: Integração
de herança, dedução e negação em máquinas de inferência
F-Logic
Klebson:
Modificação do compilador Flora para depuração multiagente
: Hendrik e Paulinho:
Organização de página web em geração automática de resumos navegáveis em
linguagem natural
: Alexandre, André,
Franklin e Klebson: Alternativas de modelagem Flora e proposta
de padrão de estilo
: Franklin:
Estado da arte em verificação de consistência de modelo UML (parte II)
: Franklin: Estado
da arte em geração automática de código comportamental a partir de modelos UML
: Hendrik e Paulinho:
Realização sintática em geração automática de resumos navegáveis em
linguagem natural
: Hendrik e Paulinho:
Lexicalização em geração automática de resumos navegáveis em linguagem
natural
: André:
Meta-modelo UML/OCL e exemplos ilustrativos da parte de Definição,
gerenciamento e consulta de dados XML em Oracle9i
: Klebson:
Comunicação entre Flora e C++ via XML
: André:
Meta-modelo UML/OCL e exemplos ilustrativos do gatilhos e das visões em
Oracle9i