José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 134



91
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
92
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
93
TITLE: Tabling Abduction
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1998, SOURCE: TAPD
INDEXED IN: DBLP
94
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
95
TITLE: Vivid Agents Arguing about Distributed Extended Logic Programs
AUTHORS: Michael Schroeder; Iara de Almeida Móra; José Júlio Alferes ;
PUBLISHED: 1997, SOURCE: EPIA, VOLUME: 1323
INDEXED IN: Scopus DBLP CrossRef: 4
96
TITLE: Belief Revision in Non-Monotonic Reasoning and Logic Programming
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLISHED: 1996, SOURCE: Fundam. Informaticae, VOLUME: 28, ISSUE: 1-2
INDEXED IN: Scopus DBLP
97
98
TITLE: Reasoning with Logic Programming
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1996, SOURCE: Lecture Notes in Computer Science, VOLUME: 1111
INDEXED IN: DBLP CrossRef: 57
99
TITLE: Strong and explicit negation in non-monotonic reasoning and logic programming
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
INDEXED IN: Scopus WOS DBLP CrossRef: 17
100
TITLE: A LOGIC PROGRAMMING SYSTEM FOR NONMONOTONIC REASONING
AUTHORS: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLISHED: 1995, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 44
Page 10 of 14. Total results: 134.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service