CURRICULUM VITÆ

José Júlio Alferes

Curriculum Vitæ apresentado ao Conselho da Faculdade da FCT NOVA, no âmbito da candidatura a Diretor

Maio de 2018

Conteúdo

Dados Biográfios 6

Breve nota biográfia 6

Graus e Categorias 8

Graus 8

Categorias 8

Atividades de Gestão Universitária 10

Cargos desempenhados 13

Membro de órgãos instituiionais 14

Atividade Pedagógiia 16

Coordenação de novos projetos pedagógiios 18

Leiionação em Esiolas de Verão 19

Atividade doiente nas universidades onde exerieu funções 19Disiiplinas de Doutoramento 19Disiiplinas de Mestrado 20Disiiplinas de Liieniiatura 21

Atividade doiente noutros estabeleiimentos de ensino 24

Outros iursos de iurta duração 25

Atividade Científia 26

Prémios e Distinções 27

Cargos em soiiedades iientífias 27

Orientação de pós-graduados 27

Projetos 28

Organização de eventos iientífios 31Organização de eventos iientífios internaiionais 31Membro de iomissões de programa 31

Atividades de avaliação 32Avaliação de projetos 32Avaliação de artigos 32Júri de provas e ioniursos aiadémiios 33Outras atividades de avaliação 33

Publiiações 35Livros 35Edição de livros e números espeiiais de revistas iientífias 35Em revistas iientífias internaiionais 36Capítulos em livros, não resultantes de apresentações em ionferêniias 37Em atas de ionferêniias internaiionais iom avaliação, disponíveis iomeriialmente 38Em atas de outros eniontros internaiionais iom avaliação prévia 48Outras publiiações 52

Este curriculum vitæ foi preparado como resposta ao edital de 10 de abril de 2018,do Conselho da Faculdade, no âmbito da candidatura que apresento a Diretor daFaculdade de Ciências e Tecnologia da Universidade NOVA de Lisboa.

O documento encontra-se organizado por forma a refletir as várias facetas daminha atividade académica. Assim, após uma curta secção em que listo os grausacadémicos e as categorias profissionais que exerci ao longo da minha carreira,apresento 3 secções: uma primeira referente à atividade institucional e departicipação na gestão universitária; uma secção em que apresento detalhes daminha atividade pedagógica; e por fim uma secção com atividade deinvestigação científica. As atividades de prestação de serviços à comunidadeencontram-se dispersas pelas duas últimas secções, consoante se trate deatividades relacionados com investigação ou se serviços relacionados comdocência.

Cada uma destas três secções é iniciada com uma breve explicação doenquadramento das atividades, do percurso e dos objetivos que foram sendoprosseguidos ao longo da carreira na vertente respetiva. Abaixo nesta secção deintrodução apresento uma visão geral de todo o percurso nas várias vertentes,que vai um pouco além da Breve Nota Biográfica.

O meu percurso académico é fortemente marcado por três fases distintas, com enquadramentos e exigências elas próprias bastante distintas, fases essas quase coincidentes com as categorias que exerci de Prof. Auxiliar, Prof. Associado e Prof. Catedráticos.

Numa primeira fase da carreira, de Agosto de 1994 a Abril de 2000, fui ProfessorAuxiliar na Universidade de Évora. À data em que fui contratado pela Universidadede Évora era o único doutorado em Informática em toda a Universidade, e estainstituição pretendia lançar uma licenciatura em Engenharia Informática e, maistarde, um Departamento de Informática. Exigia-se, pois, uma atividade deconstituição da equipa docente, acompanhada de intensa atividade institucionale de organização de um novo curso, de novas disciplinas, e de toda uma novaÁrea Científica. Foi um período estimulante em que houve que fazer tudo do inícioe em que a atividade pedagógica e de participação na gestão universitáriaforam preponderantes. Foi necessário organizar programas e lecionar disciplinasde diferentes áreas da Informática.Quando deixei a Universidade de Évora em Abril de 2000, o curso de EngenhariaInformática, cuja criação liderei, encontrava-se no seu quinto ano defuncionamento, e tinha já sido feita a proposta de criação de um novoDepartamento de Informática, proposta de que fui primeiro signatário. Odepartamento foi oficialmente criado poucos meses depois.

O meu ingresso, em Abril de 2000, como Professor Associado no Departamento deInformática Faculdade de Ciências e Tecnologia da Universidade NOVA de Lisboaabriu uma nova fase na minha carreira, com contornos bem distintos da anterior.Tratou-se do ingresso num dos maiores departamentos de Informática do país,com programas de licenciatura, mestrado e doutoramento já bem estabelecidos,e num grupo de disciplinas com uma forte equipa de investigação. Os desafios eexigências eram naturalmente diversos nesta nova fase. A uma menornecessidade de preocupação com aspetos de institucionalização de cursos e degrupos, associou-se também uma maior focalização da vertente pedagógica,onde as disciplinas a lecionar pertenciam apenas a um grupo de disciplinas, enão a toda a área de Informática, como anteriormente, na Universidade de Évora.Em contrapartida, exigia-se um maior esforço de constituição de uma equipa deinvestigação mais autónoma, embora integrada num grupo de investigação maisvasto, e de coordenação de trabalho de investigação. Pretendia-se também aintensificação da atividade científica, nomeadamente na prossecução de umamaior internacionalização e, consequentemente, de um maior reconhecimentointernacional.

Apesar destas novas prioridades, nunca deixei de participar na gestãouniversitária, destacando-se o facto de ter sido membro da Comissão Executivado Departamento de Informática praticamente desde o meu ingresso naUniversidade NOVA de Lisboa até Fevereiro de 2005, e de ter sido coordenador daLicenciatura em Engenharia Informática desde então até Setembro de 2007. Aeste respeito destaca-se o facto de ter coordenado a reformulação do curso deLicenciatura em Engenharia Informática, adaptando-a às exigências do “processode Bolonha”.

As atividades de gestão universitárias assumiram uma dimensão maissignificativa desde Setembro de 2009, quando iniciei funções como Presidente doDepartamento de Informática da FCT NOVA, abrindo assim uma nova fase naminha carreira pouco antes de tomar posse como Professor Catedrático.Fui Presidente do Departamento de Informática de Setembro de 2009 a Setembrode 2011. Tratou-se de uma altura onde se colocaram importantes desafios aoexercício do cargo de presidente departamento, decorrentes do facto de oEstatuto da Carreira Docente Universitária ter sido alterado apenas uns dias antesdo meu início de funções, e também de ter entrado em funcionamento o novoregulamento da FCT e também da NOVA, nos quais o cargo de presidente dedepartamento se associou a maiores níveis de responsabilidade e com poderesreforçados.

Em Setembro de 2011 deixei a presidência do Departamento de Informática, parapassar a exercer as funções de subdiretor da FCT NOVA. Logo no início doexercício deste cargo, tive um papel fundamental na conceção e implementaçãodo “Perfil Curricular FCT”, implementação essa que incluiu, entre outras, areformulação de todos os cursos de Licenciatura, de Mestrado e de MestradoIntegrado da FCT NOVA. Durante o mandato tive várias funções de gestãouniversitária (conforme melhor detalhado na secção 3), destacando-se apresidência do Conselho Coordenador de Avaliação dos docentes einvestigadores da FCT NOVA.

Fui ainda Diretor do centro de investigação CENTRIA – “Centro de InteligênciaArtificial”, de Maio de 2012 até à sua extinção em Dezembro de 2013. Nesse período,coordenei por parte do CENTRIA o processo de fusão com o outro centro existenteà data no Departamento de Informática da FCT NOVA, o CITI – “Centro deInformática e Tecnologias de Informação”. Desse processo de fusão resultou acriação do novo centro NOVA LINCS – “NOVA Laboratory for Computer Science andInformatics”, centro esse que obteve a classificação de “Excellent” no últimoexercício nacional de avaliação de unidades de investigação. Sou membro dadireção do NOVA LINCS desde a sua fundação até à data e responsável nessecentro pela área de Knowledge-Based Systems.

José Júlio AlferesMaio de 2018

Dados Biográfios

Data de Nascimento: 16 de Agosto de 1966Nacionalidade: PortuguesaEstado Civil: CasadoCartão de Cidadão: Nº 07377477 4 ZY7Morada: Rua Elisa Pedroso nº 9, 3º Esq-Frt.

2820-602 Charneca de CaparicaTelefones: +351 212 972 618

+351 966 023 263Email: jja@fct.unl.ptPágina pessoal: http://userweb.fct.unl.pt/~jja

Breve nota biográfia

Desde há 6 anos que desempenha o cargo de Subdiretor da FCT, desafio que lhefoi lançado pelo Prof. Dr. Fernando Santana para integrar a sua equipa de gestãoda Faculdade e que aceitou de imediato.Desde cedo foi desafiado a ocupar cargos de gestão universitária, desafios essesque aceitou com espírito de missão. Antes de completar 30 anos foi Presidente doDepartamento de Matemática da Universidade de Évora e Presidente do ConselhoDiretivo da Área Departamental de Ciências Exatas, uma estrutura comautonomia administrativa que englobava os departamentos de Matemática,Física e Química. Já na FCT NOVA, foi coordenador da Licenciatura em EngenhariaInformática, coordenador do Mestrado Europeu em Lógica Computacional,Presidente do Departamento de Informática, e Diretor do Centro de InteligênciaArtificial (CENTRIA).

Entrou pela primeira vez no Campus da FCT NOVA em Outubro de 1984, como“caloiro” da Licenciatura em Engenharia Informática. Aqui concluiu a licenciatura,em 1989, e depois o doutoramento em Informática, em 1993.

Depois de um ano em que esteve a trabalhar como investigador num projetoeuropeu, voltou à sua terra, a Évora, para aceitar o desafio de criar uma novaLicenciatura em Engenharia Informática e constituir uma equipa que pudesse darorigem a um Departamento de Informática. A Licenciatura existe desde 1995 e oDepartamento de Informática da Universidade de Évora foi criado em 2000.

Regressou à FCT NOVA em 2000 como Professor Associado, e hoje, com 51 anos, éProfessor Catedrático do Departamento de Informática (desde 2010).

Tem desenvolvido a sua atividade de Investigação em temas próximos da áreacientífica de Inteligência Artificial, área essa onde tem coordenado e participadoem vários projetos de investigação e de colaboração com empresas, e ondeobteve reconhecimento internacional. Em 2012 foi distinguido como Fellow daSociedade Europeia de Inteligência Artificial, sendo hoje o único Professor no ativoem Portugal com esta distinção.

Sempre acompanhou a atividade de investigação com uma apaixonadaatividade de ensino. Para além da orientação de estudantes de mestrado edoutoramento, lecionou inúmeras unidades curriculares, em todos os níveis degraduação e pós-graduação, e em várias áreas da Informática: InteligênciaArtificial, Bases de Dados, Sistemas de Informação, Programação.

Graus e Categorias

Graus

Título de Agregado no ramo e especialidade de Informática, em 6 de Junho de2008, pela Universidade Nova de Lisboa, tendo sido aprovado porunanimidade.

Doutorado em Informática, especialidade de Inteligência Artificial, em 18 deOutubro de 1993, pela Universidade Nova de Lisboa, com a classificação de“Muito bom com distinção e louvor”, por unanimidade.

Licenciado em Engenharia Informática pela Faculdade de Ciências eTecnologia da Universidade Nova de Lisboa em 1989, com média final de 17valores (projeto final de curso realizado na Techinsche Hochschule Darmstadt– R.F. Alemanha – no âmbito do programa ERASMUS, com classificação final de20 valores).

Concluiu o 12º ano de Escolaridade na Escola Secundária Gabriel Pereira emÉvora, Julho 1984, com média final de 20.0 valores.

Categorias

Professor Catedrático na secção de Sistemas Simbólicos, de Decisão e deInformação do Departamento de Informática da Faculdade de Ciências eTecnologia da Universidade Nova de Lisboa, desde Dezembro de 2010.

Professor Associado na mesma secção e departamento1, de Abril de 2000 aDezembro de 2010.

Investigador Visitante do “NICTA – National ICT Australia”, de Fevereiro a Maio de2008, por ocasião de uma licença sabática, tendo visitado os centros juntoà “NSWU – New South Wales University” em Sydney, e junto à “ANU – AustraliaNational University” em Canberra.

Professor Auxiliar no Departamento de Matemática da Universidade de Évora,de Agosto de 1994 a Abril de 2000.

Bolseiro do projeto europeu ESPRIT BR (nº 6810) COMPULOG 2, de Outubro de 1993a Julho de 1994.

Docente do Instituto Superior de Novas Profissões, de Outubro de 1993 a Julhode 1994.

Bolseiro de doutoramento da Junta Nacional de Investigação Científica eTecnológica (bolsa 137/90-IA), sob a orientação do Prof. Doutor Luís MonizPereira, de Outubro de 1990 a Setembro de 1993.

1 Por decisão do Tribunal Administrativo de Lisboa de anulação da deliberação do júri do concurso deprofessor associado em que foi colocado na Universidade NOVA de Lisboa, no período de Janeiro a Maio de2002 foi Prof. Auxiliar na Universidade de Évora, tendo voltado à categoria de Prof. Associado na UniversidadeNOVA de Lisboa após confirmação pelo júri da sua ordenação em primeiro lugar no referido concurso.

Bolseiro de especialização técnica do Instituto Nacional de InvestigaçãoCientífica, trabalhando em investigação no Centro de Inteligência Artificial doUNINOVA, de Outubro de 1989 a Setembro de 1990.

Atividades de Gestão Universitária

A gestão universitária tem assumido um papel preponderante nas suas atividades desde que tomou posse como Subdiretor da FCT NOVA em Outubro de 2011.

Como Subdiretor da faculdade é responsável pela Divisão de Documentação e Cultura, Divisão de Apoio Geral, Divisão de Infraestruturas Informáticas e pelo Laboratório de e.Learning. Tem assim a responsabilidade de coordenar estes serviços, quer na sua gestão do dia-a-dia, quer na tomada de decisões estratégicas. Neste contexto, tem sido responsável na faculdade por, entre outras: implementação de sistemas de recolha e sistematização de informação e indicadores científicos; arquitetura da infraestrutura de suporte informático e de comunicações de toda a faculdade, e sua ligação com o exterior; suporte de sistemas de informação académicos da faculdade; serviços de helpdesk e apoio a utilizadores; estratégia e suporte de e-learning e ensino a distância.Mas as suas funções como Subdiretor não se esgotam na coordenação desses serviços. Com efeito, como membro do Conselho Executivo da FCT NOVA (lugar que decorre diretamente do cargo de Subdiretor) tem colaborado ativamente na gestão e na estratégia da faculdade nestes últimos 6 anos. Tem coordenado vários estudos sobre atratividade de estudantes, resultados da avaliação e gestão da qualidade, distribuição de recursos humanos e de serviço docente, impacte científico e de criação de valor, e tem participado ativamente nos processos de acreditação de cursos, de gestão académica, de projeção da faculdade no exterior, etc, interagindo de forma intensa com todos os serviços, departamentos e centros de investigação da FCT NOVA.

Ainda enquanto Subdiretor, é Presidente do Conselho de Coordenação da Avaliação dos Docentes desde a criação desta comissão em Janeiro de 2013. Nesta qualidade, coordenou a implementação de todo o processo de avaliação, tendo conseguido, com sucesso, que fossem avaliados todos os mais de 400 docentes da FCT nos anos de 2004 a 2015, nas vertentes de investigação, docência, gestão e extensão, e estando lançado o processo de avaliação dos docentes no triénio 2016-18.

Pouco tempo depois de ter assumido as funções de Subdiretor, elaborou uma proposta de “Perfil Curricular FCT” que apresentou à comunidade da FCT NOVA no encontro “Preparar o Futuro – FCT” em Janeiro de 2012. O Perfil Curricular, hoje uma marca distintiva da FCT NOVA, entrou em funcionamento no ano letivo 2012/13 para todos os cursos de Licenciatura, Mestrado, e Mestrado Integrado. A

implementação do Perfil Curricular, em que teve um papel muito ativo, obrigou à reformulação de todos esses cursos, que teve que ser preparada num curto espaço de tempo, integrando novas unidades curriculares de competências transversais, e uniformizando a estrutura de créditos de todas as unidades curriculares da faculdade. Foi ainda necessário reorganizar o calendário escolar da faculdade, para incluir um período intercalar entre semestre, e reformular a forma de avaliação dos estudantes passando-se para uma avaliação contínua2. Ainda no contexto da criação do Perfil Curricular, foi responsável pela criação dos Programas de Introdução à Investigação Científica e de Introdução à Prática Profissional, duas unidades curriculares que passaram a ser obrigatórias, em alternativa, em todas as Licenciaturas e Mestrados Integrados da FCT NOVA. Este último programa coloca, desde então, cerca de 800 estudantes da FCT NOVA por ano, em estágios de 5 semanas em empresas em Portugal e no mundo.

Tem, ainda enquanto Subdiretor, representado a FCT NOVA no exterior em inúmeros fóruns e ocasiões, junto de outras universidades, de órgãos de governo, de entidades públicas e de entidades privadas. Neste contexto, integra ou integrou várias comissões na Reitoria da Universidade NOVA de Lisboa, das quais destaca ser: membro da Comissão da Escola Doutoral da NOVA desde a sua fundação, tendo assim colaborado para a criação desta unidade que é hoje um ativo importante da NOVA; membro da Comissão de Acompanhamento de Internacionalização na NOVA, tendo já antes coordenado um programa de cooperação com a Rússia a nivel de toda a universidade.

Todas estas atividades como Subdiretor permitem-lhe ter hoje um conhecimento profundo da FCT NOVA, de todos os seus setores, nas várias dimensões de ensino, de investigação, de criação de valor, de interação com as outras unidades orgânicas e a Reitoria da NOVA, e de relações com o exterior.

Nos anos de 2012 e 2013 acumulou as suas funções na direção da FCT NOVA com acoordenação científica do CENTRIA – “Centro de Inteligência Artificial”. Enquanto Diretor do CENTRIA teve como principal objetivo a integração do grupo de investigadores do CENTRIA, e dos seus interesses científicos, com o grupo e interesses do outro centro existente à data no Departamento de Informática, o CITI. Com esta integração, coordenada por si por parte do CENTRIA, aproximaram-se posições e interesses dos dois grupos de investigação, e foi possível fundir os dois centros dando origem a um único centro, o NOVA LINCS – “NOVA Laboratory for Computer Science and Informatics”, criando assim as condições para uma maior integração entre as atividades de investigação no seio do Departamento de Informática. Como resultado desta fusão dos centros, foi preparada a candidatura à avaliação do NOVA LINCS. O NOVA LINCS obteve a classificação de

2 Forma de avaliação essa que tem tido muito sucesso na diminuição da taxa de retenção de estudantes.

“Excellent” nesse exercício de avaliação das unidades de investigação, classificação essa superior à classificação de qualquer um dos centros anteriores,o que confirmou a fusão como um aposta acertada.

Antes de ser Subdiretor da FCT NOVA tinha sido Presidente do Departamento de Informática. Assumiu essas funções em Setembro de 2009, imediatamente após terem entrado em vigor os novos estatutos da Faculdade de Ciências e Tecnologia da Universidade NOVA de Lisboa, estatutos esses que alteravam consideravelmente as competências dos presidentes de departamento, e de outros órgãos a nível departamental. Houve assim que estabelecer todo um novo modo de funcionamento do departamento, começando pela aprovação de um Regulamento do Departamento, regulamento esse que ainda hoje está em vigor. Coordenou a elaboração desse regulamento, que introduziu algumas inovações, entre as quais a criação de uma comissão de desenvolvimento de carreira dos docentes (Comissão de Aconselhamento Científico e Pedagógico).

Durante os dois anos em que foi Presidente do Departamento de Informática teve várias iniciativas, entre as quais destaca: reformulação completa da forma de distribuição do serviço docente; racionalização da oferta educativa, para um melhor aproveitamento dos recursos humanos sem prejuízo da diversidade de oferta aos estudantes; diversificação da oferta para estudantes consoante o número de inscrições e implementação de programas de recuperação para estudantes repetentes; consolidação de um programa de bolsas de mestrado e doutoramento com componente de investigação e de apoio ao ensino (num formato próximo de Teaching Assistants); implementação de um programa de iniciação à investigação, para estudantes de fim de licenciatura (programa ROPES– “Research Opportunities Programme for Excelling Students”), em conjunto com os centro de investigação; contratualização de redução de serviço de aulas com contrapartida de incremento de atividades de investigação, com base num programa competitivo de propostas de docentes; programa e protocolos para incremento substancial de dissertações de mestrado em empresas (antes a quase totalidade das dissertações de mestrado em Eng. Informática na NOVA era feitas em ambiente académico).

Antes, na Universidade de Évora, a atividade institucional que desenvolveu visou especialmente a constituição e consolidação de um grupo de pessoal docente deInformática para garantir o normal funcionamento de uma nova licenciatura. Assim, de Outubro de 1994 a Abril de 2000 coordenou o Grupo de Informática do Departamento de Matemática da Universidade de Évora, grupo esse que era constituída por 1 assistente e 2 assistentes estagiários à data do seu ingresso na Universidade de Évora, e que contava, quando da sua saída, com 5 professores auxiliares, 6 assistentes e 3 assistentes estagiários.

Promoveu ainda a criação de um mestrado conjunto com a Universidade Nova deLisboa em Inteligência Artificial Aplicada, tendo coordenado o processo por parte da Universidade de Évora.Assumiu também, durante os primeiros dois anos de funcionamento da referida licenciatura, o cargo de Presidente do Conselho do Departamento de Matemáticada Universidade de Évora, departamento no seio do qual se iniciou a nova licenciatura. Foi, durante dois anos, Presidente do Conselho Diretivo da Área Departamental de Ciências Exatas da Universidade de Évora, área departamental que, à data, englobava os departamentos de Física, Química e Matemática.

Cargos desempenhados

Subdiretor da Faculdade de Ciências e Tecnologia da Universidade Nova deLisboa desde Outubro de 2011.

Presidente do Conselho Coordenador da Avaliação dos Docentes da FCT NOVAdesde a criação do conselho, em Janeiro de 2013.

Investigador Principal da área de Knowledge-Bases Systems e membro daDireção do centro de investigação NOVA LINCS – “NOVA Laboratory forComputer Science and Informatics”, desde a sua fundação em Janeiro de 2014.

Diretor do centro de investigação CENTRIA – “Centro de Inteligência Artificial”,de Maio de 2012 a Dezembro de 2013.

Presidente do Departamento de Informática da Faculdade de Ciências eTecnologia da Universidade Nova de Lisboa, cargo que deixou de exercer paraassumir o cargo de Subdiretor da FCT NOVA, de Setembro de 2009 a Outubrode 2011 foi.

Coordenador na Universidade Nova de Lisboa da rede do programa ERASMUSMundus “External Cooperation Windows” MULTIC, com a Federação Russa, deOutubro de 2008 a Setembro de 2015. A rede envolve por parte da UniãoEuropeia, para além da Universidade Nova de Lisboa, a Technische UniversitätDresden (que coordena), a Technische Universität Wien, a Università di Roma LaSapienza, a Wroclaw Univeristy of Technology, a Ruhr-Universität Bochum, e aUniversità degli studi di Trento.

Coordenador do Mestrado Europeu em Lógica Computacional na Faculdadede Ciências e Tecnologia da Universidade Nova de Lisboa, de Julho de 2008 aSetembro de 2009. O referido mestrado envolvia, para além da UniversidadeNova de Lisboa, a Universidad Politécnica de Madrid, a Technische UniversitätDresden, a Technische Universität Wien e a Free University of Bozen-Bolzano.Desde então, é membro da Comissão Científica do referido mestrado.

Coordenador da Licenciatura em Engenharia Informática da Faculdade deCiências e Tecnologia da Universidade Nova de Lisboa, de Fevereiro de 2005 aSetembro de 2007.

Diretor de Curso na Universidade de Évora do Mestrado em Inteligência

Artificial Aplicada, conjunto com a Universidade Nova de Lisboa, de Outubro de1997 a Setembro de 1999.

Presidente do Conselho Directivo da Área Departamental de Ciências Exactasda Universidade de Évora, de Outubro de 1995 a Outubro de 1997.

Presidente do Conselho do Departamento de Matemática da Universidade deÉvora, de Setembro de 1995 a Outubro de 1997.

Adjunto do Presidente do Conselho do Departamento de Matemática daUniversidade de Évora, de Dezembro de 1994 a Setembro de 1995.

Membro de órgãos instituiionais

Para além de ser membro dos Conselhos e Comissões Científicas daFaculdade/Universidade e Departamentos, Conselhos de Departamentos e daAssembleia da Faculdade, por inerência da sua categoria profissional, há ainda aassinalar:

Membro da Comissão de Internacionalização na NOVA (CAI na NOVA). Membro da Comissão da Escola Doutoral da NOVA, desde a sua fundação em

Abril de 2012. Membro eleito do Conselho Científico da Faculdade de Ciências e

Tecnologia da Universidade Nova de Lisboa de Novembro de 2009 até Julho de2015.

Membro da Comissão Permanente do Conselho Científico para os assuntos deEnsino da FCT NOVA, de Novembro de 2011 a Outubro de 2013.

Membro da Comissão Científica do 3º ciclo, Doutoramento em Informática, daFaculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, desde asua constituição em Fevereiro de 2008 até Setembro de 2009.

Membro da direção do “Centro de Inteligência Artificial – CENTRIA” daUniversidade Nova de Lisboa, desde a sua fundação em 1997 até Maio de 2012,altura em que assumiu a coordenação do centro.

Membro da Comissão Pedagógica da Licenciatura em Engenharia Informáticada Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, deFevereiro de 2005 a Julho de 2007.

Membro da Comissão Executiva do Departamento de Informática daFaculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, de Junhode 2000 a Fevereiro de 2005.

Membro nomeado do Conselho da Biblioteca da Faculdade de Ciências eTecnologia da Universidade Nova de Lisboa, de Julho de 2001 a Fevereiro de2005.

Membro nomeado da Comissão Científica Conjunta do Mestrado emInteligência Artificial Aplicada, de Julho 1997 a Setembro de 1999.

Membro do Conselho Pedagógico da Universidade de Évora, de Julho 1997 a

Setembro de 1999. Membro nomeado da Comissão de Curso da Licenciatura em Matemática

Aplicada da Universidade de Évora, de Dezembro de 1994 a Setembro de 1999. Membro do Senado da Universidade de Évora, de Outubro de 1995 a Outubro

de 1997. Membro da Assembleia da Universidade de Évora, de Outubro de 1995 a

Outubro de 1997. Membro do Conselho Científico Geral da Universidade de Évora, de Outubro de

1995 a Outubro de 1997. Membro do Conselho Científico do Instituto Superior de Novas Profissões, de

Dezembro de 1993 a Julho de 1994.

Atividade Pedagógiia

A sua atividade de docência iniciou-se imediatamente após o doutoramento,apesar de só um ano depois ter ingressado na Carreira Docente Universitária. Noprimeiro ano pós-doutoramento foi docente no Instituto Superior de NovasProfissões e lecionou uma disciplina de mestrado na Universidade Nova de Lisboae uma outra na Universidade do Minho. Ingressou então na Universidade de Évora,onde exerceu atividade docente durante pouco mais de 5 anos.

No primeiro ano como docente da Universidade de Évora, para além de terlecionado várias disciplinas de diferentes licenciaturas, elaborou uma propostade criação de uma Licenciatura em Engenharia Informática e o respetivo plano deestudos, licenciatura essa que entrou em funcionamento em Outubro de 1995.Desde então, e até deixar de ser docente na Universidade de Évora, grande partedo esforço em atividades pedagógicas foi dedicado a essa licenciatura, tendolecionado várias disciplinas de diferentes áreas científicas da Informática. Alémdisso, ainda enquanto docente da Universidade de Évora, participou na criaçãodo Mestrado em Inteligência Artificial Aplicada, conjunto com a Universidade NOVA

de Lisboa. O mestrado entrou em funcionamento em Outubro de 1997, tendo, apósessa data, lecionado também nesse mestrado. Desde 2000 exerce atividadedocente na Secção de Sistemas Simbólicos, de Decisão e de Informação doDepartamento de Informática da Faculdade de Ciências e Tecnologia daUniversidade NOVA de Lisboa. Aí lecionou e regeu várias disciplinas em todos oscursos da responsabilidade principal do Departamento, nomeadamente: naLicenciatura em Engenharia Informática, no Mestrado Integrado em EngenhariaInformática, no Mestrado em Inteligência Artificial Aplicada, no Mestrado emEngenharia Informática, no Mestrado Europeu em Lógica Computacional e noPrograma Doutoral em Informática.

Nas disciplinas que lecionou, sempre colheu uma excelente opinião por parte dos seus estudantes. Refira-se, a título ilustrativo, que nos inquéritos realizados nos últimos 3 anos aos estudantes a quem lecionou, sobre a “Perceção dos estudantes sobre o desempenho do docente” (anos em que existem taxas de resposta acima dos 80%), os resultados que obteve, numa escala de 1 (Péssimo) a 6 (Excelente), foram:

Unidade Curricular Ano Estudantes ResultadosMédia Moda

Semantic Web 2014/15 15 5.0 5Processamento de Streams 2015/16 24 5.2 6Bases de Dados 2015/16 436 4.9 5Processamento de Streams 2016/17 13 5.4 5Bases de Dados 2016/17 304 5.1 6

Estes resultados estão muito acima dos resultados médios dos docentes da FCTNOVA, e foram obtidos em unidades curriculares diversas, algumas com muitosinscritos onde é sempre mais difícil ter níveis de satisfação tão altos por parte dosestudantes.

Na Universidade NOVA de Lisboa teve ainda atividade relevante de coordenaçãode projetos pedagógicos, tendo sido coordenador da Licenciatura em EngenhariaInformática, de Fevereiro de 2005 a Setembro de 2007, altura em que coordenou aelaboração da proposta de curso de 1º ciclo em Engenharia Informática, cursoque entrou em funcionamento em Setembro de 2006. Além disso, coordenou, porparte da Universidade NOVA de Lisboa, a reformulação do Mestrado Europeu emLógica Computacional feita em 2008, um curso à data financiado pelo programaeuropeu ERASMUS Mundus, reformulação essa que introduziu alteraçõessignificativas na organização do curso. Esteve ainda envolvido na elaboração deuma proposta de Programa Doutoral em Lógica Computacional, em conjuntocom o mesmo grupo de universidades que participam no Mestrado na mesmaárea.

Liderou ainda a elaboração de uma proposta ao programa ERASMUS Mundus 2“External Cooperation Window”, de uma rede de cooperação com a FederaçãoRussa, que envolve vários parceiros na União Europeia. Esta rede, que tevecontinuidade com o projeto MULTIC financiado pelo Erasmus+, foi coordenada porsi na Universidade NOVA de Lisboa desde 2008 até 2015.

A sua atividade pedagógica não se ficou pela lecionação de disciplinas nasUniversidades em que exerceu funções, tendo desempenhado atividade de

prestação de serviços à comunidade no âmbito da docência. A este respeitorefira-se que lecionou na Escola Superior de Tecnologias Militares Aeronáuticas eno Instituto Superior de Ciências e Tecnologia de Moçambique, no âmbito deprotocolos destas instituições com a Faculdade de Ciências e Tecnologia daUniversidade NOVA de Lisboa, e que deu cursos de formação em contextoempresarial.

No que se refere à internacionalização da atividade pedagógica exercida,lecionou em várias escolas de Verão e ministrou vários cursos em Universidadesestrangeiras.

Coordenação de novos projetos pedagógiios

Coordenou por parte da Universidade Nova de Lisboa o programa ERASMUSMundus 2 External Cooperation Window, “MULTIC -Multidisciplinary capacity-building for an improved economic, political and university co-operationbetween the European Union and the Russian Federation", uma rede decooperação com a Federação Russa, que envolve por parte da União Europeia,para além da Universidade Nova de Lisboa, a Technische Universität Dresden, aTechnische Universität Wien, a Università di Roma La Sapienza, a WroclawUniveristy of Technology, a Ruhr-Universität Bochum, e a Università degli studi diTrento.

Coordenou, em 2008, por parte da Universidade Nova de Lisboa areformulação do “European Master in Computacional Logic”. A versãoreformulada do programa de Mestrado obteve financiamento do programaErasmus Mundus e entrou em funcionamento no ano letivo 2010/11 nasuniversidades parceiras: Universidade Nova de Lisboa; Technische UniversitätDresden; Technische Universität Wien; e Free University of Bozen-Bolzano.

Coordenou a elaboração da proposta de 1º ciclo de Licenciatura emEngenharia Informática da Faculdade de Ciências e Tecnologia daUniversidade Nova de Lisboa, como adaptação da anterior licenciatura emEngenharia Informática existente desde 1988/89. A nova licenciatura entrou emfuncionamento no ano letivo 2006/07.

Participou na elaboração da proposta do Mestrado em Inteligência ArtificialAplicada conjunto da Universidade de Évora e da Universidade Nova de Lisboa,tendo coordenado o processo de criação do curso na Universidade de Évora. Omestrado entrou em funcionamento no ano letivo de 1997/98.

Coordenou a proposta de criação da Licenciatura em Engenharia Informáticada Universidade de Évora. A licenciatura entrou em funcionamento no anoletivo de 1995/96.

Leiionação em Esiolas de Verão

Lecionou, em Agosto de 2005, um curso intitulado “Computational Logics forKnowledge Representation”, na escola “Computational Logic and LogicFoundations of Computer Science Summer School”, Hanoi, Vietname.

Lecionou, em Julho de 2005, conjuntamente com Wolfgang May, um cursointitulado “Evolution and Reactivity for the Web”, na escola “Reasoning Web, FirstInternational Summer School”, Msida, Malta.

Lecionou, em Agosto de 2000, conjuntamente com David Pearce, um cursointrodutório, intitulado “Semantics of Logic Programs and Non-monotonicReasoning”, na escola “Twelfth European Summer School in Logic, Languageand Information – ESSLLI’00”, Birmingham, Reino Unido.

Lecionou, em Agosto de 1999, conjuntamente com Luís Moniz Pereira, um cursoavançado, intitulado “Reasoning with Logic Programming”, na escola “EleventhEuropean Summer School in Logic, Language and Information – ESSLLI’99”,Utrecht, Holanda.

Lecionou, em Setembro de 1997, um curso sobre “Semântica de Programaçãoem Lógica” na Escola de Verão “Fundamentos Matemáticos da Computação”,Coimbra.

Lecionou, em Julho de 1993, um curso sobre “Logic Programming and Non-monotonic Reasoning”, na escola “Programacion Logica y sus aplicaciones”,Universidade de Santiago de Compostela, Espanha.

Atividade doiente nas universidades onde exerieu funções

Nesta secção, listam-se as disciplinas que lecionou no Instituto Superior de NovasProfissões, na Universidade de Évora e na Universidade Nova de Lisboa. Excetoquando explicitamente indicado, para além da lecionação, foi regente dadisciplina. Apontam-se ainda nesta lista as situações em que foi proponente dadisciplina, e as situações em que fez uma reformulação significativa do seuprograma. Todas as disciplinas listadas com nome em inglês, foram lecionadasem inglês.

Disciplinas de Doutoramento

Scientific Text Processing

Disciplina da Escola Doutoral da NOVA.Responsável e docente, conjuntamente com os Profs. João Lourenço e JoãoLeitão, da disciplina oferecida a todos os programas doutorais da UniversidadeNOVA de Lisboa.8 edições do curso entre 2015 e 2018.

Knowledge Representation Reasoning and Agents

Disciplina do Programa Doutoral em Informática da Universidade NOVA deLisboa.A disciplina foi completamente organizada por si em conjunto com os Profs.João Leite e Carlos Damásio.2º semestre de 2009/10.

Scientific and Technical Communication

Disciplina obrigatória do Programa Doutoral em Informática da UniversidadeNova de Lisboa.A disciplina foi completamente organizada por si em conjunto com o Prof. LuísCaires quando da primeira edição do programa doutoral.

2º semestre de 2010/11, 2009/10 e de 2008/09.

Disciplinas de Mestrado

Processamento de Stream

Disciplina do Mestrado Integrado em Engenharia Informática da UniversidadeNOVA de Lisboa. A disciplina foi proposta por si, e lecionado por si e pelo Prof.Sérgio Duarte pela 1ª vez.1º semestre de 2015/16 e de 2016/17.

Sistemas de Bases de Dados

Disciplina do Mestrado em Engenharia Informática da Universidade NOVA deLisboa.A disciplina resulta da anterior disciplina de “Bases de Dados 2” da licenciaturade 5 anos, que tinha sido reformulada por si em 2006/07.1º semestre de 2013/14, 2012/13, 2009/10 e de 2008/09.

Knowledge Representation and Reasoning

Disciplina comum do Mestrado Europeu em Lógica Computacional e doMestrado em Engenharia Informática da Universidade NOVA de Lisboa.A disciplina foi lecionada por si pela primeira vez, e com programa propostopor si.1º semestre de 2009/10, de 2008/09 e de 2006/07.

Semantic Web

Disciplina comum do Mestrado Europeu em Lógica Computacional e doMestrado em Engenharia Informática da Universidade NOVA de Lisboa.2º semestre de 2014/15 e de2008/09.

Integrated Logic Systems

Disciplina do Mestrado Europeu em Lógica Computacional.A disciplina foi lecionada pela primeira vez na Universidade NOVA de Lisboa, por

si.2º semestre de 2009/10 e de 2005/06.

Tópicos Avançados em Inteligência Artificial

Disciplina do Mestrado em Engenharia Informática (pré-Bolonha) daUniversidade NOVA de Lisboa.A disciplina funcionou como um conjunto de módulos, tendo regido adisciplina e lecionado um dos módulos.2º semestre de 2004/05.

Representação do Conhecimento e Raciocínio

Disciplina do Mestrado em Engenharia Informática (pré-Bolonha) daUniversidade Nova de Lisboa.A disciplina resultou da junção, com as necessárias adaptações, de duasanteriores disciplinas semestrais do Mestrado em Inteligência ArtificialAplicada, a saber: “Representação do Conhecimento” e “RaciocínioComputacional”. Foi lecionada pela primeira vez por si, tendo proposto o seuprograma.1º semestre de 2003/04

Representação do Conhecimento

Disciplina do Mestrado Conjunto (Univ. Nova de Lisboa/Univ. de Évora) emInteligência Artificial AplicadaLecionada por si pela primeira vez, tendo proposto o seu programa.1º semestre de 2002/03, de 2000/01, de 1999/00, de 1998/99 e de 1997/98, nas trêsmais antigas edições enquanto docente da Universidade de Évora, e nas duasmais recentes enquanto docente da Universidade NOVA de Lisboa.

Disciplinas de Licenciatura

Bases de Dados

Disciplina obrigatória do 2º ano do Mestrado Integrado em EngenhariaInformática da Universidade Nova de Lisboa.2º semestre de 2016/17 e de 2015/16.

Projeto Integrador

Disciplina obrigatória para o perfil de Ciências da Engenharia, da Licenciaturaem Engenharia Informática, 1º ciclo, da Universidade Nova de Lisboa.

Foi regente da disciplina na sua primeira edição, em 2008/09, tendocoordenador toda a organização da disciplina. Esta disciplina, de 18 créditosECTS, pretendeu consolidar uma visão integrada de várias técnicas,metodologias e princípios, assim como o seu suporte ao nível dos sistemascomputacionais, abordados ao longo do primeiro ciclo, no contexto deconceção e implementação de um sistema informático de média

complexidade. O projeto, com enunciado igual para todos os alunos, foirealizado no Departamento em grupos, e envolveu, de forma efetiva,competências endereçadas de forma independente nas várias disciplinas deprimeiro ciclo, nomeadamente modelação e desenho de software, bases dedados, algoritmos e estruturas de dados, linguagens de programação,sistemas e redes de computadores, e interfaces pessoa-máquina.

Projeto

Disciplina obrigatória do 5º ano da Licenciatura em Engenharia Informática, daUniversidade Nova de Lisboa.Foi orientador de vários projetos de fim de curso nos anos letivos de 2000/01 a2006/07, tendo sido responsável pela disciplina nos anos letivos 2005/06 e2006/07.

Bases de Dados 2

Disciplina opcional do 4º ano da Licenciatura em Engenharia Informática, daUniversidade Nova de Lisboa.2º semestre de 2006/07, tendo feito uma reformulação bastante significativado programa.

Programação em Lógica

Disciplina do 3ºano da Licenciatura em Engenharia Informática, daUniversidade Nova de Lisboa.2º semestre de 2005/06, de 2004/05 e de 2003/04.

Bases de Dados 1

Disciplina do 4º ano da Licenciatura em Engenharia Informática, daUniversidade Nova de Lisboa.1º semestre de 2005/06, de 2004/05, de 2003/04 e de 2002/03, tendo em 2003/04feito uma reformulação muito significativa do programa.

Introdução à Inteligência Artificial

Disciplina do 4º ano da Licenciatura em Engenharia Informática, daUniversidade Nova de Lisboa.2º semestre de 2002/03, de 2000/01 e de 1999/00, tendo em 1999/00 feito umareformulação muito significativa do programa.

Lógica Computacional

Disciplina do 1º ano da Licenciatura em Engenharia Informática, daUniversidade Nova de Lisboa.1º semestre de 2000/01.

Programação 1

Disciplina do 1º ano da Licenciatura em Engenharia Informática, daUniversidade de Évora, onde foi ensinada Programação Orientada por

Objectos.1º semestre de 1999/00.

Programação em Lógica

Disciplina do 3ºano da Licenciatura em Engenharia Informática, lecionada porsi pela primeira vez na Universidade de Évora.1º semestre de 1999/00, de 1998/99 e de 1997/98, tendo o programa da disciplinasido proposto por si.

Linguagens Formais e Autómatos

Disciplina do 3º ano da Licenciatura em Engenharia Informática, daUniversidade de Évora.1º semestre de 1998/99.

Bases de Dados

Disciplina do 3º ano da Licenciatura em Engenharia Informática, lecionada porsi pela primeira vez na Universidade de Évora.2º semestre de 1998/99 e de 1997/98, tendo o programa da disciplina sidoproposto por si.

Programação 2

Disciplina do 1º ano da Licenciatura em Engenharia Informática, daUniversidade de Évora, onde foi ensinada Programação com LinguagensFuncionais.2º semestre de 1998/99 e de 1997/98.

Introdução à Ciência de Computadores

Disciplina do 1º ano da Licenciatura em Engenharia Informática, lecionada porsi pela primeira vez na Universidade de Évora, tendo proposto o seu programa.Nesta disciplina introdutória para a Licenciatura em Engenharia Informática,foram abordados vários temas de Ciências da Computação.2º semestre de 1998/99 e 1º semestre de 1997/98, de 1996/97 e de 1995/96.

Informática 2

Disciplina das Licenciaturas em Matemática Aplicada e em Ensino daMatemática, lecionada por si pela primeira vez na Universidade de Évora,tendo proposto o seu programa. Nesta disciplina foram abordados temas deTeoria da Computação.2º semestre de 1996/97 e de 1995/96.

Informática 1

Disciplina das Licenciaturas em Matemática Aplicada, em Ensino daMatemática e em Engenharia de Processos e Energia, lecionada por si pelaprimeira vez na Universidade de Évora, tendo proposto o seu programa. Nesta

disciplina foram lecionados tópicos de Bases de Dados Relacionais.1º semestre de 1996/97 e de 1995/96.

Complementos de Programação

Disciplina das Licenciaturas em Matemática Aplicada e em Ensino daMatemática da Universidade de Évora.2º semestre de 1994/95.

Programação

Disciplina das Licenciaturas em Matemática Aplicada e em Ensino daMatemática da Universidade de Évora, onde foi lecionada programação emPascal.1º e 2º semestres de 1994/95.

Introdução à Programação

Disciplina propedêutica das Licenciaturas em Gestão de Empresas, emEconomia, em Engenharia de Processos e Energia, em Engenharia de RecursosHidricos, em Engenharia de Recursos Biológicos, em Engenharia Biofísica, e emArquitectura Paisagistica da Universidade de Évora.1º semestre de 1994/95.

Informática 1

Disciplina anual das Licenciaturas em Gestão de Empresas e em Assessoria deAdministração do Instituto Superior de Novas Profissões, com programaelaborado por si.Ano letivo 1993/94.

Atividad ddce t� dtct�oc d �ao le eie t�c dd d t itc

Lecionou e regeu no Instituto Superior de Ciências e Tecnologia deMoçambique a disciplina de “Sistemas de Bases de Dados” do Mestrado emEng. Informática daquela instituição, em Fevereiro de 2017.

Lecionou e regeu a disciplina de “Introduction to Semantic Web” do MSc. inComputer Science da Hanoi University of Technology, em Março e Abril de 2007.

Lecionou e regeu na Escola Superior de Tecnologias Militares Aeronáuticas, aocurso de Bacharelato de Técnicos de Informática, as seguintes disciplinas:Programação em Lógica (1º semestre de 2006/07, de 2005/06 e de 2004/05);Bases de Dados 1 (1º semestre de 2004/05); Teoria da Informação (1º semestrede 2002/03); Inteligência Artificial (2º semestre de 2002/03, de 2000/01 e de1999/00); Lógica Computacional (No 1º semestre de 2000/01).

Em Fevereiro de 1999, lecionou a disciplina de “Informática” ao curso de“Complementos de Licenciatura em Matemática” no Instituto Superior deEducação, Cabo Verde.

No 2º semestre de 1993/94, lecionou e foi regente da disciplina de “Tópicos

Avançados em Inteligência Artificial” do Mestrado em Engenharia Informáticada Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.

Em Março de 1994 lecionou e foi responsável pelo módulo de “Representaçãode conhecimento” no Mestrado em Informática da Universidade do Minho.

Ot�oc deto c dd deto�addtoaçãc

Lecionou um curso na Big Data Academy, na Altran Portugal, nas duas ediçõesdesta academia (em Outubro de 2016 e de 2017), tendo também pertencido àcomissão coordenadora científica da academia.

Em Dezembro de 2012 lecionou um curso sobre “Integration of Default Rules andOntologies” no Basic Training Camp do European PhD in Computational Logics,na Technische Universität Dresden.

Em Julho de 2007 lecionou um curso sobre “Interrogação de Bases de Dados"na empresa Opensoft, Soluções Informáticas, Lda.

Em Dezembro de 1996, lecionou um curso sobre “Update-programs” no mini-semester “Logic and Algebra in Computer Science” do Banach Center, Varsóvia.

Atividade Científia

Desenvolve trabalho de investigação científica em Informática e, essencialmente,Inteligência Artificial, sendo que a sua atividade científica se enquadra, emgrande parte, nas áreas da Programação em Lógica e da Representação doConhecimento. Nos últimos anos tem prestado particular atenção àrepresentação de conhecimento sobre ações e evolução de programas emlógica, e a aplicações à Semantic Web. Em toda esta atividade desenvolveutrabalho teórico de base, trabalho de implementação dos resultados teóricos etrabalho de aplicação. A atividade desenvolvida foi, em grande medida,enquadrada pelos projetos que colaborou e encontra-se detalhadamentedocumentada nas suas várias publicações, que abaixo se listam.O seu trabalho de investigação científica foi desenvolvido com uma fortecolaboração internacional, como se pode constatar nas inúmeras co-autorias deartigos científicos, colaboração que resulta maioritariamente da sua participaçãoem vários projetos de cooperação e redes de excelência internacionais.

Para além do impacte das suas publicações, com um h-index de 36 e 4110citações, o reconhecimento do seu trabalho pela comunidade científicainternacional pode ainda ser testemunhado pelos convites continuados que temaceite para participar, e mesmo presidir, em comissões de programas deprestigiados encontros científicos, nas áreas da Inteligência Artificial, da LógicaComputacional, da Programação em Lógica e da Semantic Web. Importatambém referir, a este respeito, o facto de ter sido eleito para o Scientific AdvisoryBoard da associação científica “European Association for Semantic WebEducation – EASE”. De especial realce, no que respeita ao reconhecimentointernacional do seu trabalho científico, é Fellow of the European Association forArtificial Intelligence desde 2012.

Finalmente realça-se o facto de ter publicado em várias das mais importantesrevistas e conferências da sua área científica. Nomeadamente, tem publicaçõesnas revistas “Artificial Intelligence”, “Theory and Practice of Logic Programming”,“Journal of Logic Programming”, “Journal of Automated Reasoning” e “TheoreticalComputer Science” e nas conferências “International Conference on ArtificialIntelligence (IJCAI)”, “European Conference on Artificial Intelligence (ECAI)”,“International Conference on Autonomous Agents and Multiagent Systems(AAMAS)”, “International Conference on the Principles of Knowledge Representationand Reasoning (KR)”, “International Semantic Web Conference (ISWC)”, “EuropeanSemantic Web Conference (ESWC)”, “International Conference on Logic

Programming (ICLP)”, “International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR)”, “European Conference on Logics in ArtificialIntelligence (JELIA)”, todas estas classificadas como A ou A* no último rankingpublicado pelo “CORE – Computer Research and Education”.Tem ainda contribuído ao longo dos anos com serviços vários em prol dacomunidade científica. Nestes incluem-se a organização de vários encontroscientíficos, a contribuição com avaliação de artigos científicos e a participaçãoem júris académicos. Especialmente relevante, e que é também indicador doreconhecimento internacional da sua competência científica, é a suaparticipação em avaliação de projeto nas duas mais conceituadas instituições definanciamento a nível mundial, nomeadamente a “IST- Information SocietyTechnologies” da Comissão Europeia e a “National Science Foundation” Norte-Americana.

Prémios e Distinções

Fellow da European Association for Artificial Intelligence, 2012. Prémio Boa Esperança de Ciência e Tecnologia, 1994. Prémio científico IBM, 1993. Prémio de Jovem Engenheiro – Ordem dos Engenheiros, 1990.

Cargos em soiiedades iientífias

Presidente eleito do Conselho Fiscal da “APPIA – Associação Portuguesa Para aInteligência Artificial”, desde Outubro de 2009 a Setembro de 2011.

Membro eleito do “Scientific Advisory Board” da“European Association forSemantic Web Education – EASE”, desde a sua constituição em Julho de 2006até Março de 2010.

Orientação de pós-graduados

Para além da orientação de 23 dissertações de mestrado e projetos de fim decurso de antigas licenciaturas de 5 anos, orientou os seguintes estudantes dedoutoramento e pós-doutoramento:

É orientador de pós-doutoramento do Doutor Ricardo João RodriguesGonçalves. O orientando tem uma bolsa de pós-doutoramento da Fundaçãopara a Ciência e Tecnologia.

De Outubro de 2011 a Fevereiro de 2018 foi orientador de pós-doutoramento doDoutor Matthias Knorr. O orientando teve bolsa de pós-doutoramento daFundação para a Ciência e Tecnologia

De Novembro de 2009 a Janeiro de 2015 foi orientador de doutoramento naUniversidade Nova de Lisboa da Ana Sofia Leal Gomes, sob o tema“Transactions in Dynamic Reactive Environments”.

de Setembro de 2006 a Setembro de 2011 foi orientador principal dedoutoramento na Universidade Nova de Lisboa de Matthias Knorr, sob o tema“Combining open and closed world knowledge representation for reasoning onthe semantic web”, co-orientado por Pascal Hitzler da Wright State University,USA.

Desde Setembro de 2008 a Janeiro de 2011 foi orientador de doutoramento naUniversidade de Évora da Mestre Iara Carnevale de Almeida sob o tema“Distributed Knowledge Bases: A Proposal for Argumentation-based Semanticswith Cooperation".

De Outubro de 2003 a Fevereiro de 2008 foi orientador de doutoramento naUniversidade Nova de Lisboa de Federico Banti, sob o tema “Evolving ReactiveLogic Programs”.

Projetos

Coordenou ou participou nos seguintes projetos: Coordenou uma tarefa do projeto “ERRO – Efficient Reasoning with Rules and

Ontologies”. O projeto, financiado pela FCT-MCTES entre Março de 2012 e Agostode 2015, desenvolveu métodos e ferramentas eficientes para raciocínio sobreconhecimento disponível na Semantic Web.

Participou no projeto “ASPEN – Answer Set Programming with BoolEaNSatisfiability”. O projeto, financiado pela FCT-MCTES entre Março de 2011 eFevereiro de 2014, desenvolveu sistemas de conjuntos de resposta pararesolução de problemas com complexidade computacional elevada.

Participou no projeto QREN I&DT_09 “ECC – Entreprise Communication Centre”,da responsabilidade da empresa “ITDS – Internet Tecnologia eDesenvolvimento de Software SA”, de Março de 2009 a Fevereiro de 2011.

Foi coordenador local do projeto ERASMUS-Mundus “International M.Sc. Programin Computational Logic”, financiado pela Comissão Europeia, de Outubro de2008 a Setembro de 2009. O projeto apoiou o Mestrado Europeu com o mesmonome, conjunto com a Universidade Nova de Lisboa, Technische UniversitätDresden, Technische Universität Wien e Free University of Bolzen-Bolzano.

Coordenou o projeto “Evolution e Reactivity” integrado na rede de excelência“Network of Excellence” financiado pela Comissão Europeia pelo FP6 naprioridade 2, IST de Março de 2004 a Março de 2008. O projeto visou a definiçãode linguagens declarativas, metodologias e ferramentas computacionais paraespecificar e lidar com reatividade, evolução e propagação de alterações naWeb e Semantic Web e contou com a participação de 8 instituições: para alémda Universidade Nova de Lisboa, a Universität Göttingen, Universität Cottbus,

Technische Universität Dresden, Ludwig-Maximilians-Universität München,Högskolan i Skövde e as empresas webXcerpt Software GmbH e TelefónicaInvestigación y Desarrollo.

Participou no projeto de cooperação “KRENI - Knowledge Representation withNegative Information”, financiado pelo CRUP, com a Universidad Politecnica deMadrid. O projeto, que teve início em Janeiro de 2006 e duração de 2 anos,visou o estudo de informação negativa e a sua formalização e implementaçãoatravés de negação construtiva em programas em lógica.

Coordenou o projeto FLUX – “FleXible Logical Updates”. O projeto, financiadopela FCT-MCTES, com duração entre Abril de 2002 e Setembro de 2005 contoucom a participação de 6 doutorados de três instituições: a Universidade Novade Lisboa, a Universidade de Évora e a empresa Declarativa - Serviços deInformática, Lda, e teve como objectivo a definição de uma linguagem flexívele declarativa para especificação de conhecimento dinâmico, e sua aplicaçãoem domínios de aplicação realistas.

Coordenou uma das tarefas de investigação do projeto “TARDE – TabulationAnd Reasoning in a Distributed Prolog Environment”, financiado pelo programaPRAXIS XXI, de Abril de 2001 a Dezembro de 2004. O projeto versou acombinação entre sistemas de tabulação, sistemas de raciocínio aprogramação distribuída.

Participou no projeto “Computational Logic as a Foundation for ComputerScience and Intelligent Systems”, financiado pelo Comissão Europeia, peloprograma IST Asia-Link/VN/001, de Setembro de 2004 a Agosto de 2007. Esteprojeto, em colaboração com a Technische Universität Dresden a University ofIndonesia e a Technical University of Hanoi, teve como objectivo a promoçãoda área de Lógica Computacional no Sudeste Asiático. No âmbito desteprojeto, participou numa escola de Verão no Vietname, deu um curso naTechnical University of Hanoi, e orientou uma dissertação de mestrado.

Participou no projeto “IQN – Rational Mobile Agents and Systems of Agents(International Quality Network)”, financiado pelo programa alemão DAAD, deOutubro de 2001 a Setembro de 2003. O projeto visou o fortalecimento dacolaboração em investigação na área Agentes Racionais Móveis entre as 12universidade participantes, de outros tantos países de 4 continentes.

Participou na rede “CoLogNet – European Network of Excellence inComputational Logic”, financiada pela Comissão Europeia no programa IST, deJaneiro de 2001 a Junho de 2005.

Participou no projeto de cooperação “RRA – Rational and Reactive Agents”,financiado pelo ICCTI-CNR, com a Università di Pisa, de Outubro de 2001 aSetembro de 2002.

Participou na rede “CompulogNet - Network of Excellence in ComputationalLogic”, financiada pela Comissão Europeia no programa ESPRIT, de Julho de1996 a Junho de 2000.

Foi coordenador local do projeto “Mental Agents Architecture in Logic - MENTAL”.O projeto, financiado pelo programa PRAXIS, decorreu de Março de 1997 aFevereiro de 2000 e visou estabelecer uma base teórica coerente para aconcepção de uma arquitectura de agentes mentais (i.e. com conhecimento,crenças e intenções) usando as potencialidades da programação em lógica.

Coordenou o projeto ACROPOLE – “ACções e RaciocíniO em ProgramaçãO emLógica Estendida”. O projeto com duração entre Janeiro de 1996 e Dezembro de1998 contou com a participação de 3 doutorados, sendo o seu principalobjetivo a definição de uma linguagem, sua semântica e implementação, deprogramação em lógica sensivel a estimulos (ou “triggers”) e capaz de lidarcom acções.

Participou no projeto de cooperação “PADYLP - Paraconsistent dynamic logicprogramming” financiado pela instituição francesa INRIA e pela portuguesaICCTI, com o IRISA-Rennes, de Dezembro de 1997 a Dezembro de 1999.

Participou no projeto de cooperação luso-americana “REAP – Reasoning inParallel Logic Programming”, com a SUNY at Stony Brook, financiado pela“Fundação Luso-Americana para o Desenvolvimento”, de Outubro de 1996 aSetembro de 1999.

Participou no projeto de cooperação luso-alemã “Formal Modelling of Multi-agents Systems on the basis of Extended Logic Programs”, com a UniversitätLeipzig, financiado pelo PRAXIS e pela instituição alemã DAAD, de Janeiro de1997 a Dezembro de 1998.

Foi coordenador da tarefa “Aplicações a diagnóstico e raciocínio nãomonótono” no projeto “PROLOPPE - Parallel Logic Programming with Extensions”financiado pelo PRAXIS, de Janeiro de 1995 a Abril de 1998.

Participou no projeto KIT011 “Logic Programming in Knowledge Representation inReasoning” do programa “Keep In Touch”– CE-DG XII, de 1993 a 1997. O projeto foicoordenado pela Università di Pisa, tendo contado ainda com o envolvimentodas seguintes instituições: Imperial College, Università di Genoa, UniversidadeNova de Lisboa, Asian Institute of Technology - Tailândia.

Participou no projeto de cooperação luso-alemã “Model Based Diagnosis withlogic programming” com a Universidade de Hannover, financiado pela JNICT epela instituição alemã BMFT, de 1995 a 1998.

Participou no projeto “PADIPRO - Parallel Distributed Prolog and Applications”financiado pela “DEC (Digital Equipment Corporation)”, de Outubro de 1994 aDezembro de 1997.

Participou como investigador no projeto ESPRIT BR (nº 6810) COMPULOG 2, deAgosto de 1993 a Setembro de 1995.

Participou como investigador no projeto ESPRIT BR (nº 3012) COMPULOG desde 1de Outubro de 1989 até Março de 1992.

De Março a Julho de 1989 participou no projeto DESIRe do grupo de animaçãodo ZGDV (Zentrum für Graphichen Daten Verarbeitung) na R.F. Alemanha.

Organização de eventos iientífios

Organização de eventos iientífios internaiionais

Programme co-chairman da do “10th International Web Rule Symposium(RuleML) 2016”, Stony Brook, New York, USA. As actas do encontro forampublicadas pela “Springer”.

General Chair da “International Conference on Web Reasoning and RuleSystems – RR 2010”, Bressanone/Brixen, Itália, Setembro de 2010. As actas doencontro foram publicadas pela “Springer”.

Programme Committee co-Chairman da “4th International Workshop onPrinciples and Practice of Semantic Web Reasoning – PPSWR 2006”, realizadoem Budva, Montenegro, em Junho de 2006. As actas do encontro forampublicadas pela “Springer”.

Programme Committee Chairman da “9th European Conference on Logics inArtificial Intelligence – JELIA’04”, realizado em Lisboa, em Setembro de 2004. Asactas do encontro foram publicadas pela “Springer” e uma selecção dosmelhores artigos apresentados no encontro foi publicada como númeroespecial da revista “Journal of Applied Logics”.

Programme Committee co-Chairman da “Workshop on Logic Programming forArtificial Intelligence and Information Systems”, realizado no Porto, emDezembro de 2001.

Conference Chairman do “EPIA’99 – Portuguese Conference on ArtificialInteligence”, realizado em Évora em Outubro de 1999.

Conference Chairman das “Journées Européennes en Logique et InteligenceArtificielle (Logics in Artificial Intelligence), JELIA’96”, realizado em Évora, Outubrode 1996.

Membro de iomissões de programa

Foi membro da comissão científica (de programa) das seguintes conferências esimpósios internacionais, em várias edições ao longo dos anos: AAAI Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence – IJCAI. International Conference on Autonomous Agents and Multiagent Systems –

AAMAS. International Semantic Web Conference – ISWC. European Conference on Artificial Intelligence – ECAI. European Conference on Logics in Artificial Intelligence – JELIA. International Conference on Logic Programming and Nonmonotonic Reasoning

– LPNMR. European Semantic Web Conference – ESWC.

International Conference on Web Reasoning and Rule Systems. Portuguese Conference on Artificial Inteligence – EPIA. International Web Rule Symposium – RuleML. APPIA-GULP-PRODE Joint Conference on Declarative Programming. Congresso Ibero-americano de Inteligência Artificial – IBERAMIA. International Conference on Logic Programming. Reasoning Web – RoW.

Atividades de avaliação

Avaliação de projetos

Ao longo dos anos, foi avaliador de propostas de projetos, de monitoração deprojetos em curso, e/ou de de relatórios finais de projetos, para as seguintesagências de avaliação: “Horizon 2020”, “FP7 – Research and Innovation” e “Sixth Framework Programme

(FP6)” da Comissão Europeia; ‘NSF Career’’ da “Information & Intelligent Systems Division” da “National Science

Foundation”, Estados Unidos da América; “ANI – Agência Nacional de Inovação”; “Fundação para a Ciência e a Tecnologia”; “FET- Future and Emerging Technologies” da divisão “IST- Information Society

Technologies” da Comissão Europeia; Programa PRIN, conjunto entre o “Ministero dell’Istruzione, dell’Università e della

Ricerca” e do “CINECA – Consorzio Interuniversitario”, Itália. “Programa Luso-Britânico de Investigação Conjunto – Tratado de Windsor”.

Avaliação de artigos

Para além da avaliação de artigos submetidos a conferências internacionais deque é membro da comissão de programa, é membro do “editorial board” darevista “AI Communications”, publicada pela IOS Press, onde tem atividade regularde avaliação de artigos.

Além disso, colabora regularmente na avaliação de artigos submetidos àsseguintes revistas:

Theory and Practice of Logic Programming; IEEE Transactions on Knowledge and Data Engineering; Fundamenta Informaticae; Information Processing Letters; IEEE Intelligent Systems; ACM Transactions on Computational Logic (TOCL); Journal of Logic and Computation;

Annals of Mathematics and Artificial Intelligence; Theoretical Computer Science; Journal of Automated Reasoning; Journal of Logic Programming.

Júri de provas e ioniursos aiadémiios

Participou com arguente em júris de provas de agregação na Universidade NOVA

de Lisboa e na Universidade do Minho e em júris de provas de doutoramento nasseguintes universidades: Free University of Bozen-Bolzano Linköping University, Suécia. Universidad Politecnica de Madrid, Espanha. Universidade da Madeira. Universidade de Coimbra. Universidade de Évora. Universidade de Lisboa. Universidade de Trás-os-Montes e Alto Douro. Universidade do Minho. Universidade Nova de Lisboa. Universität Göttingen, Alemanha.

Foi membro de júris de concursos para admissão de Professores CatedráticosAssociados e/ou Auxiliares nas seguintes instituições de ensino superior: Escola Naval Faculdade de Ciências da Universidade de Lisboa Faculdade de Ciências da Universidade do Porto Faculdade de Ciências e Tecnologia da Universidade de Coimbra Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa Instito Superior de Contabilidade e Administração de Lisboa Instituto Politécnico do Cávado e do Ave Instituto Politécnico do Cávado e do Ave Instituto Superior Técnico, da Universidade de Lisboa Universidade da Madeira Universidade dos Açores

Outras atividades de avaliação

É membro do Júri do Prémio Científico IBM, desde 2013. Foi membro do do júri do concurso “Premio per la migliore Tesi di Dottorato su

argomenti di Logica Computazionale “Marco Cadoli”, para atribuição deprémio de melhor tese de doutoramento em Lógica Computacional em Itália.O concurso é organizado pela associação italiana “GULP – Gruppo Ricercatori e

Utenti Logic Programming”. Foi membro da comissão científica do Concurso e Encontro Nacional de

Programação em Lógica e Funcional, durante todas as edições. O concursodecorreu todos os anos entre 1999 e 2007.

Publiiações

Livros

[1] J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming, volume 1111 ofLecture Notes in Artificial Intelligence. State of the Art Survey, Springer-Verlag,1996.

Edição de livros e números espeiiais de revistas iientífias

[2] J. J. Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, and DumitruRoman, editors. Rule Technologies. Research, Tools, and Applications - 10thInternational Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016.Proceedings, volume 9718 of Lecture Notes in Computer Science. Springer,2016.

[3] J. J. Alferes and J. A. Leite. Special issue on logics in artificial intelligence. J.Applied Logic, 5(3):389–391, 2007.

[4] J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors. Principles and Practiceof Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva,Montenegro, June 10-11, 2006, Revised Selected Papers, volume 4187 of LectureNotes in Computer Science. Springer, 2006.

[5] J. J. Alferes and J. A. Leite, editors. Logics in Artificial Intelligence, 9th EuropeanConference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings,volume 3229 of Lecture Notes in Computer Science. Springer, 2004.

[6] S. Abreu and J. J. Alferes, editors. Logics for AI and Information Systems - AThematic workshop of EPIA’01. Universidade do Porto, December 2001.

[7] P. Barahona and J. J. Alferes, editors. Progress in Artificial Intelligence -Proceedings of the 9th Portuguese Conference on Artificial Intelligence,EPIA’99, volume 1695 of Lecture Notes in Artificial Intelligence. Springer, 1999.

[8] J. J. Alferes and L. M. Pereira. Guest editors of the special volume on logic forartificial intelligence. Journal of Automated Reasoning, 20(1 & 2), 1998.

[9] J. J. Alferes, L. M. Pereira, and E. Orlowska (eds.). Logics in Artificial Intelligence,volume 1126 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996.

Em revistas iientífias internaiionais

[10] P. Fodor, G. Governatori, J. J. Alferes, and L. E. Bertossi. RuleML (web rulesymposium) 2016 report. AI Magazine, 38(1):109–110, 2017.

[11] A. S. Gomes, J. J. Alferes, and T. Swift. A goal-directed implementation of queryanswering for hybrid MKNF knowledge bases. TPLP, 14(2):239–264, 2014.

[12] J. J. Alferes, R. Gonçalves, and J. Leite. Equivalence of defeasible normativesystems. Journal of Applied Non-Classical Logics, 23(1-2):25– 48, 2013.

[13] J. J. Alferes, M. Knorr, and T. Swift. Query-driven procedures for hybrid MKNFknowledge bases. ACM Trans. Comput. Log., 14(2):16:1– 16:43, 2013.

[14] A. S. Gomes and J. J. Alferes. Extending transaction logic with external actions.TPLP, 13(4-5), 2013.

[15] M. Knorr, J. J. Alferes, and P. Hitzler. Local closed world reasoning withdescription logics under the well-founded semantics. Artif. Intell., 175(9-10):1528–1554, 2011.

[16] J. J. Alferes, Federico Banti, and Antonio Brogi. Evolving reactive logicprograms. Intelligenza Artificiale, 5(1):77–81, 2011.

[17] J. J. Alferes, F. Banti, A. Brogi, and J. A. Leite. The refined extension principle forsemantics of dynamic logic programming. Studia Logica, 79:7–32, 2005.

[18] J. J. Alferes, L. M. Pereira, and Terrance Swift. Abduction in wellfoundedsemantics and generalized stable models via tabled dual programs. Theoryand Practice of Logic Programming, 4:383–428, 2004.

[19] J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Lups - alanguage for updating logic programs. Artificial Intelligence, 138(1-2):87–116,2002.

[20] J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Alanguage for multi-dimensional updates. Electronic Notes in TheoreticalComputer Science, 70, 2002.

[21] J. J. Alferes, P. Dell’Acqua, E. Lamma, J. A. Leite, L. M. Pereira, and F. Riguzzi. A logicbased approach to multi-agent systems. The Association for LogicProgramming Newsletter, 14, August 2001.

[22] J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski.Dynamic updates of non-monotonic knowledge bases. The Journal of LogicProgramming, 45:43–70, 2000.

[23] J. J. Alferes, L. M. Pereira, and T. Przymusinski. Classical negation innonmonotonic reasoning an logic programming (extended version). Journalof Automated Reasoning, 20(1 & 2):107–142, 1998.

[24] J. J. Alferes, L. M. Pereira, and T. Przymusinski. Belief revision in non-monotonicreasoning and logic programming (extended version). FundamentaInformaticae, 28(1 & 2):1–22, 1996.

[25] J. J. Alferes and L. M. Pereira. Belief, provability and logic programs (extendedversion). Journal of Applied Nonclassical Logics, 5(1):31–50, 1995.

[26] J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system fornon-monotonic reasoning. Journal of Automated Reasoning, Special Issue onImplementation of NonMonotonic Reasoning(14):93– 147, 1995.

[27] L. M. Pereira, J. J. Alferes, and J. N. Aparício. Adding closed world assumptions towell founded semantics (extended improved version). Theoretical ComputerScience. Special issue on selected papers from FGCS’92, 122:49–68, 1994.

[28] L. M. Pereira, J. N. Aparício, and J. J. Alferes. Non-monotonic reasoning withlogic programming. Journal of Logic Programming. Special issue onNonmonotonic reasoning, 17(2, 3 & 4):227–263, 1993.

Capítulos em livros, não resultantes de apresentações em ionferêniias

[29] J. J. Alferes, A. Gabaldon, and J. Leite. Evolving logic programs with temporaloperators. In Marcello Balduccini and Tran Cao Son, editors, LogicProgramming, Knowledge Representation, and Nonmonotonic Reasoning -Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday,volume 6565 of Lecture Notes in Computer Science, pages 193–212. Springer,2011.

[30] J. J. Alferes and W. May. Evolution and reactivity in the semantic web. In F. Bryand J. Maluszynski, editors, Semantic Techniques for the Web, The REWERSEPerspective, volume 5500 of Lecture Notes in Computer Science, pages 161–200. Springer, 2009.

[31] J. J. Alferes and W. May. Evolution and reactivity for the web. In Norbert Eisingerand Jan Maluszynski, editors, Reasoning Web, volume 3564 of Lecture Notes inArtificial Intelligence, pages 134–172. Springer, 2005.

[32] J. J. Alferes and L. M. Pereira. Logic programming updating - a guidedapproach. In A. Kakas and F. Sadri, editors, Logic Programming into the Future- Essays in honour of Robert Kowalski, volume 2408 of Lecture Notes inArtificial Intelligence, pages 382–412. Springer, 2002.

[33] J. A. Leite, J. J. Alferes, and L. M. Pereira. Minerva - a dynamic logicprogramming agent architecture. In J. J. Meyer and M. Tambe, editors,Intelligent Agents VIII - Agent Theories, Architectures, and Languages, volume2333 of Lecture Notes in Artificial Intelligence, pages 141–157. Springer, 2002.

Em atas de ionferêniias internaiionais iom avaliação, disponíveis iomeriialmente

[34] A. S. Gomes and J. J. Alferes. A procedure for an event-condition-transactionlanguage. In Balder ten Cate and Alessandra Mileo, editors, Web Reasoningand Rule Systems - 9th International Conference, RR, volume 9209 of LectureNotes in Computer Science, pages 113–129. Springer, 2015.

[35] A. S. Gomes and J. J. Alferes. How to combine event stream reasoning withtransactions for the semantic web. In Nick Bassiliades, Georg Gottlob, FaribaSadri, Adrian Paschke, and Dumitru Roman, editors, Rule Technologies:Foundations, Tools, and Applications - 9th International Symposium, RuleML,Lecture Notes in Computer Science, pages 258–273, 2015.

[36] M. Knorr and J. J. Alferes. Preserving strong equivalence while forgetting. InEduardo Fermé and J. Leite, editors, Logics in Artificial Intelligence - 14thEuropean Conference, JELIA, volume 8761 of Lecture Notes in ComputerScience, pages 412–425, 2014.

[37] R. Gonçalves and J. J. Alferes. Deontic logic programs. In Maria L. Gini, OnnShehory, Takayuki Ito, and Catholijn M. Jonker, editors, Internationalconference on Autonomous Agents and Multi-Agent Systems, AAMAS ’13,pages 1333–1334. IFAAMAS, 2013.

[38] A. S. Gomes and J. J. Alferes. External transaction logic with automaticcompensations. In J. Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, andStefan Woltran, editors, Computational Logic in Multi-Agent Systems - 14thInternational Workshop, CLIMA XIV, volume 8143 of Lecture Notes in ComputerScience, pages 239–255, 2013.

[39] J. J. Alferes, M. Knorr, and K. Wang. Forgetting under the well-foundedsemantics. In Pedro Cabalar and Tran Cao Son, editors, Logic Programming

and Nonmonotonic Reasoning, 12th International Conference, LPNMR, volume8148 of Lecture Notes in Computer Science, pages 36–41. Springer, 2013.

[40] R. Gonçalves and J. J. Alferes. Decidability and implementation ofparametrized logic programs. In Pedro Cabalar and Tran Cao Son, editors,Logic Programming and Nonmonotonic Reasoning, 12th InternationalConference, LPNMR, volume 8148 of Lecture Notes in Computer Science, pages361–373. Springer, 2013.

[41] R. Gonçalves and J. J. Alferes. Specifying and reasoning about normativesystems in deontic logic programming. In Wiebe van der Hoek, Lin Padgham,Vincent Conitzer, and Michael Winikoff, editors, International Conference onAutonomous Agents and Multiagent Systems, AAMAS, pages 1423–1424.IFAAMAS, 2012.

[42] R. Gonçalves and J. J. Alferes. An embedding of input-output logic in deonticlogic programs. In Thomas Agotnes, Jan M. Broersen, and Dag Elgesem,editors, Deontic Logic in Computer Science - 11th International Conference,DEON, volume 7393 of Lecture Notes in Computer Science, pages 61–75.Springer, 2012.

[43] A. S. Gomes and J. J. Alferes. A proposal for transactions in the semantic web.In Luis Antunes and Helena Sofia Pinto, editors, Progress in ArtificialIntelligence, 15th Portuguese Conference on Artificial Intelligence, EPIA, volume7026 of Lecture Notes in Computer Science, pages 690–703. Springer, 2011.

[44] R. Gonçalves and J. J. Alferes. Parametrized equilibrium logic. In James P.Delgrande and Wolfgang Faber, editors, Logic Programming andNonmonotonic Reasoning - 11th International Conference, LPNMR, volume6645 of Lecture Notes in Computer Science, pages 236–241. Springer, 2011.

[45] A. S. Gomes and J. J. Alferes. Transaction logic with external actions. In JamesP. Delgrande and Wolfgang Faber, editors, Logic Programming andNonmonotonic Reasoning - 11th International Conference, LPNMR, volume6645 of Lecture Notes in Computer Science, pages 272–277. Springer, 2011.

[46] M. Knorr and J. J. Alferes. Querying OWL 2 QL and non-monotonic rules. In TheSemantic Web - ISWC 2011 - 10th International Semantic Web Conference,volume 7031 of Lecture Notes in Computer Science, pages 338–353, 2011.

[47] R. Gonçalves and J. J. Alferes. Parametrized Logic Programs. In T. Janhunenand Ilkka Niemela, editors, JELIA 2010 - 12th European Confe- rence on Logics in

Artificial Intelligence, volume 6341 of Lecture Notes in Computer Science,pages 182–194. Springer, 2010.

[48] C. V. Damásio, J. J. Alferes, and J. Leite. Declarative semantics for the ruleinterchange format production rule dialect. In Peter F. Patel-Schneider, YuePan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, and BirteGlimm, editors, The Semantic Web - ISWC 2010 - 9th International SemanticWeb Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, RevisedSelected Papers, Part I, volume 6496 of Lecture Notes in Computer Science,pages 798–813. Springer, 2010.

[49] A. S. Gomes, J. J. Alferes, and T. Swift. Implementing query answering for hybridmknf knowledge bases. In M. Carro and R. Pena, editors, Practical Aspects ofDeclarative Languages, 12th International Symposium, PADL 2010, volume 5937of Lecture Notes in Computer Science, pages 25–39. Springer, 2010.

[50] M. Knorr and J. J. Alferes. Querying in EL+ with Nonmonotonic Rules. In HelderCoelho, Rudi Studer, and Michael Wooldridge, editors, ECAI 2010 - 19thEuropean Conference on Artificial Intelligence, volume 215 of Frontiers inArtificial Intelligence and Applications, pages 1079–1080. IOS Press, 2010.

[51] J. J. Alferes, M. Knorr, and T. Swift. Queries to hybrid mknf knowledge basesthrough oracular tabling. In A. Bernstein, D. R. Karger, T. Heath, L. Feigenbaum,D. Maynard, E. Motta, and K. Thirunarayan, editors, The Semantic Web - ISWC2009, 8th International Semantic Web Conference, ISWC 2009, volume 5823 ofLecture Notes in Compu- ter Science, pages 1–16. Springer, 2009.

[52] J. Leite, J. J. Alferes, and B. Mito. Resource allocation with answer-setprogramming. In C. Sierra, C. Castelfranchi, K. S. Decker, and J. S. Sichman,editors, 8th International Joint Conference on Autonomous Agents andMultiagent Systems (AAMAS 2009), pages 649–656. IFAAMAS, 2009.

[53] A. J. Alferes, A. Gabaldon, and J. Leite. A logic programming system forevolving programs with temporal operators. In L. S. Lopes, N. Lau, P. Mariano,and L. M. Rocha, editors, Progress in Artificial Intelligence, 14th PortugueseConference on Artificial Intelligence, EPIA 2009, volume 5816 of Lecture Notesin Computer Science, pages 101– 112. Springer, 2009.

[54] J. J. Alferes, A. Gabaldon, and J. Leite. Evolving logic programming basedagents with temporal operators. In L. Jain, editor, IEEE/WIC/ACM IntelligentAgent Technology 2008, pages 238–244, Sydney, Australia, 2008. IEEEComputer Society Press.

[55] M. Knorr, J. J. Alferes, and P. Hitzler. A Coherent Well-founded Model for HybridMKNF Knowledge Bases. In M. Ghallab, C. D. Spyropoulos, N. Fakotakis, and N. M.Avouris, editors, ECAI 2008 - 18th European Conference on ArtificialIntelligence, Proceedings. Frontiers in Artificial Intelligence and Applications,pages 99–103. IOS Press, 2008.

[56] M. Knorr, J. J. Alferes, and P. Hitzler. Towards tractable local closed worldreasoning for the semantic web. In J. Maia Neves, M. F. Santos, and J. M.Machado, editors, Progress in Artificial Intelligence, Procs. 13th PortugueseIntl.Conf. on Artificial Intelligence, Lecture Notes in Artificial Intelligence, pages3–14, Guimarães, Portugal, December 2007. Springer.

[57] J. J. Alferes and R. Amador. r3: A foundational ontology for reactive rules. In T.Dillion, M. Missikoff, and S. Staab, editors, Ontologies, DataBases, andApplications of Semantics (ODBASE’07), Lecture Notes in Computer Science,Albufeira, Portugal, November 2007. Springer.

[58] M. Knorr, J. J. Alferes, and P. Hitzler. A well-founded semantics for hybrid mknfknowledge bases. In D. Calvanese, E. Franconi, V. Haarsle, D. Lembo, B. Motik,and A-Y. Turhan, editors, Proceedings of 20th International Workshop onDescription Logics (DL2007), volume 250, pages 347–354, Brixen-Bressanone,Italy, June 2007. CEUR Workshop Proceedings.

[59] J. J. Alferes, F. Banti, and A. Brogi. Era: An event-condition-action logicprogramming language. In Michael Fisher, Wiebe van der Hoek, Boris Konev,and Alexei Lisitsa, editors, Logics in Artificial Intelligence, 10th EuropeanConference, JELIA 2006, volume 4187 of Lecture Notes in Computer Science,pages 29–42. Springer, 2006.

[60] J. J. Alferes and G. Tagni. Implementation of a complex event engine for theweb. In Ling Liu and Opher Etzion, editors, Event-Driven Architecture,Processing and Systems, IEEE Services Computing Workshops, pages 65–72.IEEE, 2006.

[61] I. Almeida and J. J. Alferes. An argumentation-based negotiation fordistributed extended logic programs. In Katsumi Inoue, Ken Satoh, andFrancesca Toni, editors, Computational Logic in Multi-Agent Systems, RevisedSelected and Invited Papers of CLIMA VII, volume 4371 of Lecture Notes inAritificial Intelligence, pages 191–210. Springer, 2006.

[62] F. Banti, J. J. Alferes, and A. Brogi. Operational semantics for dylps. In A.Cardoso, Carlos Bento, and G. Dias, editors, Progress in Artificial Intelligence,

Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA’05), volume 3808of Lecture Notes in Artificial Intelligence, pages 43–54. Springer, 2005.

[63] W. May, J. J. Alferes, and R. Amador. Active rules in the semantic web: Dealingwith language heterogeneity. In Asaf Adi, Suzette Stoutenburg, and Said Tabet,editors, Rules and Rule Markup Languages for the Semantic Web, FirstInternational Conference, RuleML 2005, volume 3791 of Lecture Notes inComputer Science, pages 30–44. Springer, 2005.

[64] W. May, J. J. Alferes, and R. Amador. An ontology- and resources-basedapproach to evolution and reactivity in the semantic web. In R. Meersman, Z.Tari, M. Hacid, J. Mylopoulos, B. Pernici, O. Babaoglu, H. Jacobsen, J. Loyall, M.Kifer, and S. Spaccapietra, editors, RulesOn the Move to Meaningful InternetSystems 2005: OTM Confederated International Conferences, CoopIS, DOA,and ODBASE 2005, volume 3761 of Lecture Notes in Computer Science, pages1553–1570. Springer, 2005.

[65] J. J. Alferes, R. Amador, and W. May. A general language for evolution andreactivity in the semantic web. In Francois Fages and Sylvain Soliman, editors,Principles and Practice of Semantic Web Reasoning PPSWR’05, volume 3703 ofLecture Notes in Computer Science, pages 101–115. Springer, 2005.

[66] F. Banti, J. J. Alferes, A. Brogi, and P. Hitzler. The well supported semantics formultidimensional dynamic logic programs. In Chitta Baral, Gianluigi Greco,Nicola Leone, and Giorgio Terracina, editors, Logic Programming andNonmonotonic Reasoning, 8th International Conference, LPNMR 2005, volume3662 of Lecture Notes in Artificial Intelligence, pages 356–368. Springer, 2005.

[67] J. J. Alferes, F. Banti, and A. Brogi. From logic programs updates to actiondescription updates. In J. A. Leite and P. Torroni, editors, Computational Logicin Multi-Agent Systems, 5th International Workshop, CLIMA V - RevisedSelected and Invited Papers, volume 3387 of Lecture Notes in ArtificialIntelligence, pages 52–77. Springer, 2005.

[68] J. J. Alferes, F. Banti, A. Brogi, and J. A. Leite. Semantics for dynamic logicprogramming: A principle-based approach. In Vladimir Lifschitz and IlkkaNiemelä, editors, Logic Programming and Nonmonotonic Reasoning, 7thInternational Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8,2004, Proceedings, volume 2923 of Lecture Notes in Computer Science, pages8–20. Springer, 2004.

[69] J. J. Alferes, F. Azevedo, P. Barahona, C. V. Damásio, and Terrance Swift.Deductive diagnosis of digital circuits. In In First IFIP Conference on Artificial

Intelligence Applications and Innovations (AIAI’2004), pages 155–165. KluwerAcademic Press, 2004.

[70] F. Banti, J. J. Alferes, and A. Brogi. Well founded semantics for logic programupdates. In Christian Lemaitre, Carlos A. Reyes, and Jesús A. González, editors,Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-AmericanConference on AI, Puebla, México, November 22-26, 2004, Proceedings,volume 3315 of Lecture Notes in Computer Science, pages 397–407. Springer,2004.

[71] W. May, J. J. Alferes, and F. Bry. Towards generic query, update, and eventlanguages for the semantic web. In H. J. Ohlbach and S. Schaffert, editors,Principles and Practice of Semantic Web Reasoning, volume 3208 of LectureNotes in Computer Science, pages 19–33. Springer, 2004.

[72] J. J. Alferes, C. V. Damásio, and L. M. Pereira. Semantic web logic programmingtools. In François Bry, Nicola Henze, and Jan Maluszynski, editors, Principles andPractice of Semantic Web Reasoning, International Workshop, PPSWR 2003,Mumbai, India, December 8, 2003, Proceedings, volume 2901 of Lecture Notesin Computer Science, pages 16–32. Springer, 2003.

[73] J. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. An evolvable rule-based e-mailagent. In S. Abreu and Fernando Moura Pires, editors, Progress in ArtificialIntelligence, Procs. 11th Portuguese Int. Conf. on Artificial Intelligence EPIA’03,volume 2902 of Lecture Notes in Artificial Intelligence, pages 394–408.Springer, 2003.

[74] J. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. Logic programming for evolvingagents. In M. Klusch, Sascha Ossowski, Andrea Omicini, and Heimo Laamanen,editors, Cooperative Information Agents VII, 7th International Workshop, CIA2003, volume 2782 of Lecture Notes in Computer Science, pages 281–297.Springer, 2003.

[75] J. J. Alferes, P. Dell’Acqua, and L. M. Pereira. A compilation of updates pluspreferences. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Proceedingsof the 8th European Conference on Logics in Artificial Intelligence (JELIA’02),volume 2424 of Lecture Notes in Artificial Intelligence, pages 62–73. Springer,2002.

[76] J. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. Evolving logic programs. In S.Flesca, S. Greco, N. Leone, and G. Ianni, editors, Proceedings of the 8thEuropean Conference on Logics in Artificial Intelligence (JELIA’02), volume2424 of Lecture Notes in Artificial Intelligence, pages 50–61. Springer, 2002.

[77] J. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. Computing environment-awareagent behaviours with logic program updates. In A. Pettorossi, editor,Proceedings of the Eleventh International Workshop on Logic-based ProgramSynthesis and Transformation LOPSTR’01, volume 2372 of Lecture Notes inComputer Science, pages 216–232. Springer, 2002.

[78] J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic logicprogramming to represent societal agents’ viewpoints. In P. Brazdil and A.Jorge, editors, Progress in Artificial Intelligence, 10th Portuguese InternationalConference on Artificial Intelligence (EPIA’01), volume 2258 of Lecture Notes inArtificial Intelligence, pages 276–289, Porto, Portugal, December 2001. Springer.

[79] J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic knowledgerepresentation. In T. Eiter, W. Faber, and M. Truszczynski, editors, Procs. of theSixth International Conference on Logic Programming and NonmonotonicReasoning (LPNMR’01), volume 2173 of Lecture Notes in Artificial Intelligence,pages 365–378, Wien, Austria, September 2001. Springer.

[80] J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, and PauloQuaresma. Dynamic knowledge representation and its applications. In S. Cerriand D. Dochev, editors, Procs. of the 9th International Conference on ArtificialIntelligence - Methodology, Systems, Applications (AIMSA’00), volume 1904 ofLecture Notes in Artificial Intelligence, pages 1–10. Springer, 2000.

[81] J. J. Alferes, H. Herre, and L. M. Pereira. Partial models of extended generalizedlogic programs. In J. Lloyd, editor, Procs. of First International Conference onComputational Logic (CL 2000), volume 1861 of Lecture Notes in ArtificialIntelligence, pages 149–163. Springer, 2000.

[82] J. J. Alferes and L. M. Pereira. Updates plus preferences. In M. O. Aciego, I. P. deGuzmán, G. Brewka, and L. M. Pereira, editors, Logics in AI, Procs. of JELIA’00,volume 1919 of Lecture Notes in Artificial Intelligence, pages 345–350. Springer,2000.

[83] J. J. Alferes, J. A. Leite, L. M. Pereira, and Paulo Quaresma. Planning as abductiveupdating. In D. Kitchin, editor, Procs. of the AISB’00 Symposium on AI Planningand Intelligent Agents, pages 1–8. AISB, 2000.

[84] J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Lups - alanguage for updating logic programs. In N. Leone M. Gelfond and G. Pfeifer,editors, 5th International Conference on Logic Programming andNonmonotonic Reasoning (LPNMR’99), volume 1730 of Lecture Notes in ArtificialIntelligence, pages 162–176. Springer, December 1999.

[85] J. J. Alferes, L. M. Pereira, and Terrance Swift. Well-founded abduction viatabled dual programs. In D. De Schreye, editor, 16th International Conferenceon Logic Programming (ICLP’99), pages 426–440. MIT Press, 1999.

[86] J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski.Dynamic logic programming. In A. Cohn and L. Schubert, editors, InternationalConference on Knowledge Representation and Reasoning-KR98, pages 98–109. Morgan Kaufmann, 1998.

[87] I. A. Móra and J. J. Alferes. Argumentative and cooperative multi-agent systemfor extended logic programming. In F. M. Oliveira, editor, XIVth BrazilianSysmposium on Artificial Intelligence (SBIA’98), volume 1515 of Lecture Notes inArtificial Intelligence, pages 161–170. Springer, 1998.

[88] M. Schroeder, I. A. Móra, and J. J. Alferes. Vivid agents arguing about distributedextended logic programs. In A. Cardoso and E. Costa, editors, Proceedings ofthe 8th Portuguese AI Conf., volume 1323 of Lecture Notes in ArtificialIntelligence, pages 217–228. Springer-Verlag, 1997.

[89] J. J. Alferes and L. M. Pereira. Update-programs can update programs. In J. Dix,L. M. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of LogicProgramming, select papers from NMELP’96, volume 1216 of Lecture Notes inArtificial Intelligence, pages 110–131. Springer-Verlag, 1997.

[90] J. J. Alferes, L. M. Pereira, and T. Przymusinski. Strong and explicit negation innonmonotonic reasoning and logic programming. In J. J. Alferes, L. M. Pereira,and E. Orlowska, editors, Logics in Artificial Intelligence, JELIA’96, volume 1126 ofLecture Notes in Artificial Intelligence, pages 143–163. Springer-Verlag, 1996.

[91] J. J. Alferes, L. M. Pereira, and T. Przymusinski. Belief revision in non-monotonicreasoning and logic programming. In N. Mamede and C. Pinto-Ferreira,editors, Proceedings of the 7th Portuguese AI Conf., volume 990 of LectureNotes in Artificial Intelligence, pages 41–56. Springer-Verlag, 1995.

[92] I. A. Móra and J. J. Alferes. Modelling diagnosis systems with logicprogramming. In N. Mamede and C. Pinto-Ferreira, editors, Proceedings of the7th Portuguese AI Conf., volume 990 of Lecture Notes in Artificial Intelligence.Springer-Verlag, 1995.

[93] J. J. Alferes, R. Li, and L. M. Pereira. Non-atomic actions in the situation calculus.In N. Mamede and C. Pinto-Ferreira, editors, Proceedings of the 7th PortugueseAI Conf., volume 990 of Lecture Notes in Artificial Intelligence, pages 273–284.Springer-Verlag, 1995.

[94] J. J. Alferes and L. M. Pereira. An argumentation theoretic semantics based onnon-refutable falsity (extended version). In J. Dix, L. M. Pereira, and T.Przymusinski, editors, Nonmonotonic Extensions of Logic Programming,volume 927 of Lecture Notes in Artificial Intelligence, pages 3–22. Springer-Verlag, 1995.

[95] J. J. Alferes, C. V. Damásio, and L. M. Pereira. Top-down query evaluation forwell-founded semantics with explicit negation. In A. Cohn, editor, EuropeanConference on Artificial Intelligence (ECAI’94), pages 140–144. MorganKaufmann, 1994.

[96] J. J. Alferes and L. M. Pereira. Belief, provability and logic programs. In D. Pearceand L. M. Pereira, editors, International Workshop on Logics in ArtificialIntelligence, JELIA’94, volume 838 of Lecture Notes in Artificial Intelligence,pages 106–121. Springer-Verlag, 1994.

[97] J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal. InR. Dyckhoff, editor, 4th Int. Workshop on Extensions of Logic Programming,volume 798 of Lecture Notes in Artificial Intelligence, pages 7–26. Springer-Verlag, 1994.

[98] J. J. Alferes, C. V. Damásio, and L. M. Pereira. SLX – A top-down derivationprocedure for programs with explicit negation. In M. Bruynooghe, editor,International Symposium on Logic programming (ILS’94). MIT Press, 1994.

[99] J. Alferes, R. Li, and L. M. Pereira. Concurrent actions and changes in thesituation calculus. In Hector Geffner, editor, Proc. of IBERAMIA 94, pages 93–104.McGraw-Hill, 1994.

[100] J. J. Alferes, P. M. Dung, and L. M. Pereira. Scenario semantics of extended logicprograms. In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshop on LogicProgramming and Non-Monotonic Reasoning (LPNMR), pages 334–348. MITPress, 1993.

[101] L. M. Pereira, C. Damásio, and J. J. Alferes. Diagnosis and debugging ascontradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshopon Logic Programming and Non-Monotonic Reasoning (LPNMR), pages 334–348. MIT Press, 1993.

[102] L. M. Pereira and J. J. Alferes. Optative reasoning with scenario semantics. In D.S. Warren, editor, 10th International Conference on Logic Programming(ICLP93), pages 601–615. MIT Press, 1993.

[103] L. M. Pereira, C. Damásio, and J. J. Alferes. Debugging by diagnosingassumptions. In P. A. Fritzson, editor, Automatic Algorithmic Debugging,AADEBUG’93, volume 749 of Lecture Notes in Computer Science, pages 58–74.Springer-Verlag, 1993.

[104] L. M. Pereira, C. Damásio, and J. J. Alferes. Diagnosis and debugging ascontradiction removal in logic programs. In L. Damas and M. Filgueiras,editors, Progress in Artificial Intelligence. Proceedings of the 6th Portuguese AIConf., volume 727 of Lecture Notes in Artificial Intelligence. Springer-Verlag,1993.

[105] L. M. Pereira, J. J. Alferes, and J. N. Aparício. Adding closed world assumptions towell founded semantics. In Fifth Generation Computer Systems, pages 562–569. ICOT, 1992.

[106] L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs withexplicit negation. In B. Neumann, editor, European Conference on ArtificialIntelligence (ECAI92), pages 102–106. John Wiley & Sons, 1992.

[107] J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds ofnegation. In K. Apt, editor, Joint International Conference and Symposium onLogic Programming (JICSLP92), pages 574–588. MIT Press, 1992.

[108] L. M. Pereira, J. J. Alferes, and J. N. Aparício. Contradiction removal semanticswith explicit negation. In M. Masuch and L. Pólos, editors, KnowledgeRepresentation and Reasoning Under Uncertainty, volume 808 of LectureNotes in Artificial Intelligence, pages 91–106. Springer-Verlag, 1994.

[109] L. M. Pereira, J. N. Aparício, and J. J. Alferes. Logic programming fornonmonotonic reasoning. In M. Masuch and L. Pólos, editors, KnowledgeRepresentation and Reasoning Under Uncertainty, volume 808 of LectureNotes in Artificial Intelligence, pages 107–122. Springer-Verlag, 1994.

[110] L. M. Pereira, L. Caires, and J. J. Alferes. SLWV – A theorem prover for logicprogramming (extended version). In E. Lamma and P. Mello, editors, Extensionsof Logic Programming, Lecture Notes in Computer Science. Springer-Verlag,1993.

[111] L. M. Pereira, J. J. Alferes, and J. N. Aparício. Default theory for well foundedsemantics with explicit negation. In D. Pearce and G. Wagner, editors, Logics inArtificial Intelligence. Proceedings of the European Ws. JELIA’92, volume 633 ofLecture Notes in Artificial Intelligence, pages 339–356. Springer-Verlag, 1992.

[112] L. M. Pereira, J. N. Aparício, and J. J. Alferes. Hypothetical reasoning with wellfounded semantics. In B. Mayoh, editor, 3rd Scandinavian Conference onArtificial Intelligence. IOS Press, 1991.

[113] L. M. Pereira, J. J. Alferes, and J. N. Aparício. A practical introduction to wellfounded semantics. In B. Mayoh, editor, 3rd Scandinavian Conference onArtificial Intelligence. IOS Press, 1991.

[114] L. M. Pereira, J. N. Aparício, and J. J. Alferes. Nonmonotonic reasoning with wellfounded semantics. In Koichi Furukawa, editor, 8th International Conferenceon Logic Programming (ICLP91), pages 475– 489. MIT Press, 1991.

[115] L. M. Pereira, J. J. Alferes, and J. N. Aparício. Contradiction Removal within WellFounded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors,Logic Programming and Nonmonotonic Reasoning (LPNMR), pages 105–119. MITPress, 1991.

[116] L. M. Pereira, J. N. Aparício, and J. J. Alferes. A derivation procedure for extendedstable models. In International Joint Conference on Artificial Intelligence(IJCAI91). Morgan Kaufmann, 1991.

[117] L. M. Pereira, J. N. Aparício, and J. J. Alferes. Counterfactual reasoning based onrevising assumptions. In Ueda and Saraswat, editors, International LogicProgramming Symposium, pages 566–577. MIT Press, 1991.

[118] L. M. Pereira, J. J. Alferes, and J. N. Aparício. The extended stable models ofcontradiction removal semantics. In P. Barahona, L. M. Pereira, and A. Porto,editors, 5th Portuguese AI Conference, volume 541 of Lecture Notes in ArtificialIntelligence, pages 105–119. Springer-Verlag, 1991.

Em atas de outros eniontros internaiionais iom avaliação prévia

[119] J. J. Alferes, R. Amador, P. Kärger, and D. Olmedilla. Towards reactive semanticweb policies: Advanced agent control for the semantic web. In T. Fini, editor,International Semantic Web Conference, Karlsruhe, Germany, 2008. CEUR WS-proceedings.

[120] J. J. Alferes and R. Amador. r3: Towards a foundational ontology for reactiverules. In Proceedings of 4th European Semantic Web Conference (ESWC 2007),Innsbruck, Austria, June 2007. Poster. Springer.

[121] I. Almeida and J. J. Alferes. Argumentation-based proof for an argument in aparaconsistent setting. In G. Simari and P. Torroni, editors, Proceedings of

Workshop on Argumentation and Non-Monotonic Reasoning (ArgNMR’07),pages 64–79, Tempe, Arizona, USA, May 2007. Online Proceedings.

[122] I. Almeida and J. J. Alferes. An argumentation-based negotiation fordistributed extended logic programs. In K. Inoue, K. Satoh, and F. Toni, editors,Pre-proceedings of the 7th International Workshop CLIMA VII. Future University,Hakodate, Japan, 2006.

[123] J. J. Alferes, F. Banti, and A. Brogi. An eca logic programming language. In G.Semeraro F. Esposito, D. Malerba, editor, Convegno Italiano di LogicaComputazionale, CILC 2006. Università di Bari, 2006.

[124] F. Banti, J. J. Alferes, and A. Brogi. Implementation of dynamic logic programs.In M. Proietti, editor, Proceedings of CILC’05 - Italian Conference onComputational Logic. Research Report: Quaderno del Dipartimento diMatematica, 2005.

[125] F. Banti, J. J. Alferes, and A. Brogi. From logic programs updates to actiondescription updates. In G. Rossi and E. Panegai, editors, Proceedings of CILC’04- Italian Conference on Computational Logic, November 2004.

[126] J. J. Alferes, F. Banti, and A. Brogi. From logic programs updates to actiondescription updates. In J. A. Leite and Paolo Torroni, editors, ComputationalLogic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Pre-Proceedings, Lisbon, Portugal, 2004.

[127] J. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. An evolving agent with evolp. InFrancesco Buccafurri, editor, Procs. of the 2003 APPIA-GULP-PRODE JointConference on Declarative Programming (AGP’2003), Reggio Calabria, Italy,September 2003. Universita "Mediterranea"di Reggio Calabria.

[128] J. J. Alferes, F. Banti, and A. Brogi. A principled semantics logic programsupdates. In Brewka and Peppas, editors, Nonmonotonic Reasoning, Action,and Change (NRAC’03),, 2003.

[129] J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Alanguage for multi-dimensional updates. In Juergen Dix, J. A. Leite, and K.Satoh, editors, Computational Logic in Multi-Agent Systems: Proceedings ofthe 3rd International Workshop, CLIMA’02, Datalogiske Skrifter (Writings onComputer Science), pages 19–34. Roskilde University, Denmark, 2002.

[130] J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Alanguage for updates with multiple dimensions. In J. J. Moreno-Navarro and J.

M. Carballo, editors, Procs. of the APPIA-GULP-PRODE’02 Joint Conference onDeclarative Programming (AGP’02), pages 325–341. Faculdad de Informáticade Madrid, 2002.

[131] J. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. Environment-awarecomputations via program updates. In A. Pettorossi, editor, PreProcs. of theEleventh International Workshop on Logic-based Program Synthesis andTransformation (LOPSTR’01), pages 112–123, Paphos, Cyprus, November 2001.

[132] J. A. Leite, J. J. Alferes, and L. M. Pereira. Combining societal agents’ knowledge.In L. M. Pereira and Paulo Quaresma, editors, Procs. of the APPIA-GULP-PRODE’01Joint Conference on Declarative Programming (AGP’01), pages 313–327.Universidade de Évora, September 2001.

[133] J. A. Leite, J. J. Alferes, and L. M. Pereira. Minerva - a dynamic logicprogramming agent architecture. In J. J. Meyer and M. Tambe, editors, Pre-Procs. of the Eighth International Workshop on Agent Theories, Architectures,and Languages (ATAL’01), pages 133–145, Seattle, USA, August 2001.

[134] J. J. Alferes, J. A. Leite, and L. M. Pereira. Multi-dimensional dynamic logicprogramming. In F. Sadri and K. Satoh, editors, Procs of the CL-2000 Workshopon Computational Logic in Multi-Agent Systems (CLIMA’00). Imperial College,2000.

[135] J. J. Alferes, J. A. Leite, and L. M. Pereira. Dynamic logic programming withmultiple dimensions. In L. Garcia and M. Chiara Meo, editors, Procs of theAPPIA-GULP-PRODE’00 Joint Conference on Declarative Programming(AGP’00), 2000.

[136] J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, and PauloQuaresma. An exercise with dynamic logic programming. In L. Garcia and M.Chiara Meo, editors, Procs of the APPIA-GULP- PRODE’00 Joint Conference onDeclarative Programming (AGP’00), 2000.

[137] J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C. Przymusinski, and PauloQuaresma. Preliminary exploration on actions as updates. In M. C. Meo and M.Vilares-Ferro, editors, Joint Conference on Declarative Programming (AGP’99),September 1999.

[138] J. J. Alferes and L. M. Pereira. Tabling abduction. In B. Lang and E. Clergerie,editors, First International Workshop on Tabulation in Parsing and Deduction,pages 75–82, Paris, April 1998.

[139] J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski.Dynamic logic programming. In J. L. Freire Nistal, M. Falaschi, and M. Villares-Ferro, editors, Joint Conference on Declarative Programming, pages 393–408.UTE y Copy Belén S.L., 1998.

[140] J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski.Updates of logic programs by logic programs. In IIS’98: 7th InternationalSymposium on Intelligent Information Systems (Former WIS). Malbork, Poland,1998.

[141] I. A. Móra, J. J. Alferes, and M. Schroeder. Argumentation and cooperation fordistributed logic extended programs. In G. Brewka, J. Dix, and J. Lobo, editors,Non-Monotonic Reasoning Workshop. Univ. Koblenz-Landau, 1998.

[142] I. A. Móra, J. J. Alferes, and M. Schroeder. Argumentation for distributedextended logic programs. In P. M. Dung and P. Mancarella, editors,International Workshop on Logic Programming and Multi-Agents, Leuven,Belgium, July 1997.

[143] J. J. Alferes, L. M. Pereira, and T. Przymusinski. “Classical” negation in non-monotonic reasoning and logic programming. In H. Kautz and B. Selman,editors, 4th Int. Symposium on Artificial Intelligence and Mathematics. FloridaAtlantic University, 1996.

[144] I. A. Móra and J. J. Alferes. Fault diagnosis of distributed systems using logicprogramming. In I. J. Porto, editor, VI Simpósio de Computadores Tolerantes aFalhas. SBC - Sociedade Brasileira de Computação, 1995.

[145] J. J. Alferes and L. M. Pereira. An argumentation theoretic semantics based onnon-refutable falsity. In J. Dix, L. M. Pereira, and T. Przymusinski, editors,International Workshop on Nonmonotonic Extensions of Logic Programming,1994.

[146] J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal.Part I. In R. Dyckhoff, editor, 4th Int. Workshop on Extensions of LogicProgramming, pages 7–16. Univ. of St. Andrews, 1993.

[147] L. M. Pereira and J. J. Alferes. Contradiction: when avoidance equal removal.Part II. In R. Dyckhoff, editor, 4th Int. Workshop on Extensions of LogicProgramming, pages 17–26. Univ. of St. Andrews, 1993.

[148] L. M. Pereira, L. Caires, and J. J. Alferes. SLWV – A theorem prover for logicprogramming (extended version). In E. Lamma and P. Mello, editors, Workshopon Extensions of Logic Programming, Bolonha, Itália, February 1992. Tecnoprint.

[149] L. M. Pereira, J. J. Alferes, and C. Damásio. The sidetracking meta principle. InSimpósio Brasileiro de Inteligência Artificial, pages 229– 242, Rio de Janeiro,Brasil, October 1992.

[150] L. M. Pereira, L. Caires, and J. J. Alferes. Classical negation in logic programs. In7o Simpósio Brasileiro de Inteligência Artificial, Campinas, Brasil, November1990.

Outras publiiações

[151] J. J. Alferes, F. Banti, and A. Brogi. Evolving reactive logic programs. Journal ofthe Italian Association of Artificial Intelligence – AI*IA, Special issue LogicaComputazionale in Italia, 2008.

[152] J. J. Alferes and D. Pearce. Semantics of Logic Programs and NonmonotonicReasoning. FOLLI, 2000. ESSLLI Course notes (287 pages).

[153] J. J. Alferes. Inteligência artificial e processos de decisão. Cadernos deBioética, 1999.

[154] J. J. Alferes. Inteligência artificial e psicologia: diferentes abordagens dainteligência. In Congresso Internacional Interfaces da Psicologia, Univ. Évora(Portugal) / Univ. Extremadura (Spain), March 1999.

[155] J. J. Alferes. A new semantics for logic programs with two kinds of negation. InV. Dahl and A. Sobrino, editors, Estudios sobre Programacion Logica y susaplicaciones. Publicacions da Universidade de Santiago de Compostela, 1996.

[156] J. J. Alferes. Semânticas de programas lógicos com negação implícita eexplícita e suas aplicações. In Prémio Científico IBM de 1990 a 1996, pages 167–195. Companhia IBM Portuguesa, S.A., 1997.

[157] José Júlio Alves Alferes. Semantics of Logic Programs with Explicit Negation.PhD thesis, Universidade Nova de Lisboa, Outubro 1993. Orientador: Prof. LuísMoniz Pereira.