ProfileOfResearchers

Publications
Researchers
Institutions

0
Sign In
- Federated Authentication (Click on the image)
  
  Local Sign In Password Recovery Register

José Júlio Alves Alferes

AuthID: R-000-8E8

Publications
Confirmed
To Validate

Document Source:

Document Type:

Year Start - End:

Order:

Results:

Confirmed Publications: 136

TITLE: Dynamic Logic Programming
AUTHORS: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: KR

INDEXED IN:

DBLP

TITLE: Dynamic Logic Programming
AUTHORS: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: APPIA-GULP-PRODE

INDEXED IN:

DBLP

TITLE: Special issue - Logics for artificial intelligence - Preface
AUTHORS: Alferes, JJ ; Pereira, LM ;
PUBLISHED: 1998, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 20, ISSUE: 1-2

INDEXED IN:

WOS

DBLP

CrossRef

TITLE: Tabling Abduction
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1998, SOURCE: TAPD

INDEXED IN:

DBLP

TITLE: Update-programs can update programs
AUTHORS: Alferes, JJ ; Pereira, LM ;
PUBLISHED: 1997, SOURCE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming in NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, VOLUME: 1216

INDEXED IN:

WOS

DBLP

CrossRef: 15

TITLE: Vivid Agents Arguing about Distributed Extended Logic Programs
AUTHORS: Michael Schroeder; Iara de Almeida Móra; José Júlio Alferes ;
PUBLISHED: 1997, SOURCE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in EPIA, VOLUME: 1323

INDEXED IN:

Scopus

DBLP

CrossRef: 4