José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



111
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
IN MY: ResearcherID
112
TITLE: Vivid Agents Arguing about Distributed Extended Logic Programs
AUTHORS: Michael Schroeder; Iara de Almeida Móra; José Júlio Alferes ;
PUBLISHED: 1997, SOURCE: Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, VOLUME: 1323
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
113
TITLE: Belief revision in non-monotonic reasoning and logic programming
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: Fundamenta Informaticae, VOLUME: 28, ISSUE: 1-2
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
114
115
TITLE: Reasoning with Logic Programming
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1996, VOLUME: 1111
INDEXED IN: DBLP
IN MY: DBLP
116
TITLE: Reasoning with Logic Programming
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira;
PUBLISHED: 1996, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
117
TITLE: Strong and explicit negation in non-monotonic reasoning and logic programming  Full Text
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: WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
118
TITLE: Strong and explicit negation in non-monotonic reasoning and logic programming
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1126
INDEXED IN: Scopus
IN MY: ORCID
119
TITLE: Update-Programs Can Update Programs
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1996, SOURCE: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers, VOLUME: 1216
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
120
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
IN MY: ORCID | ResearcherID | DBLP
Page 12 of 17. Total results: 162.

A place for researchers and their institutions

Useful Links

Get Help

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