ProfileOfResearchers

Publicações
Investigadores
Instituições

0
Entrar
- Autenticação Federada (Clique na imagem)
  
  Autenticação local Recuperar Palavra-passe Registar

José Júlio Alves Alferes

AuthID: R-000-8E8

Publicações
Confirmadas
Para Validar

Document Source:

Document Type:

Year Start - End:

Order:

Results:

Publicações Confirmadas: 136

TÃTULO: Dynamic Logic Programming
AUTORES: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: KR

INDEXADO EM:

DBLP

INDEXADO EM:

DBLP

TÃTULO: Special issue - Logics for artificial intelligence - Preface
AUTORES: Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 1998, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 20, NÚMERO: 1-2

INDEXADO EM:

WOS

DBLP

CrossRef

TÃTULO: Tabling Abduction
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1998, FONTE: TAPD

INDEXADO EM:

DBLP

TÃTULO: Update-programs can update programs
AUTORES: Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 1997, FONTE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming in NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, VOLUME: 1216

INDEXADO EM:

WOS

DBLP

CrossRef: 15

TÃTULO: Vivid Agents Arguing about Distributed Extended Logic Programs
AUTORES: Michael Schroeder; Iara de Almeida Móra; José Júlio Alferes ;
PUBLICAÇÃO: 1997, FONTE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in EPIA, VOLUME: 1323

INDEXADO EM:

Scopus

DBLP

CrossRef: 4