| Data | Título | Autor(es) | Tipo | Acesso |
| 1-Jan-2005 | A general language for evolution and reactivity in the Semantic Web | Alferes, José Júlio Alves; Amador, Ricardo; May, Wolfgang | conferenceObject |  |
| 1-Jan-2007 | A Well-founded Semantics for Hybrid MKNF Knowledge Bases | Knorr, Matthias; Alferes, José Júlio Alves; Hitzler, Pascal | conferenceObject |  |
| 1-Jan-1992 | Adding closed world assumptions to well-founded semantics | Alferes, José Júlio Alves | article | |
| Abr-1999 | Contradiction removal within well founded semantics | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-2004 | Deductive Diagnosis of Digital Circuits | Alferes, José Júlio Alves; Azevedo, Francisco de Moura E Castro Ascensão de; Barahona, Pedro Manuel Corrêa Calvente de; Damásio, Carlos Augusto Isaac Piló Viegas; Swift, Terrance | conferenceObject | |
| 1-Jan-1993 | Diagnosis and debugging as contradiction removal | Pereira, L.M.; Damásio, Carlos Augusto Isaac Piló Viegas; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-2000 | Dynamic knowledge representation and its applications | Alferes, José Júlio Alves; Pereira, L.M.; Przymusinska, H; Przymusinski, Teodor C.; Quaresma, Paulo | conferenceObject | |
| Abr-1999 | Dynamic Logic Programming | Alferes, José Júlio Alves; Leite, João Alexandre Carvalho Pinheiro; Pereira, L.M.; Przymusinska, H; Przymusinski, Teodor C. | conferenceObject | |
| Mai-1991 | Hypothetical reasoning with well founded semantics | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-1991 | Nonmonotonic reasoning with well founded semantics | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-1993 | Optative reasoning with scenario semantics | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-1993 | Scenario semantics of extended logic programs | Alferes, José Júlio Alves; Pereira, L.M.; Dung, Phan Minh | conferenceObject | |
| 1-Jan-1994 | SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION | Damásio, Carlos Augusto Isaac Piló Viegas; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-1992 | Well founded semantics for logic programs with explicit negation | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-1999 | Well-founded abduction via tabled dual programs | Alferes, José Júlio Alves; Pereira, L.M.; Swift, Terrance | conferenceObject | |
