José Júlio Alferes

Alferes, {José Júlio Alves}. "CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS." MIT Press. 1991. 105-119. Abstract

Alferes, {José Júlio Alves}. "COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS." MIT Press. 1991. 566-577. Abstract

Alferes, {José Júlio Alves}. "THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS." Lecture Notes in Artificial Intelligence. Vol. 541. 1991. 105-119. Abstract

Alferes, {José Júlio Alves}. "HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS." IOS Press. 1991. 289-300. Abstract

Alferes, {José Júlio Alves}. "NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS." MIT Press. 1991. 475-489. Abstract

Alferes, {José Júlio Alves}. "A PRACTICAL INTRODUCTION TO WELL FOUNDED SEMANTICS." IOS Press. 1991. 277-288. Abstract

Alferes, {José Júlio Alves}. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2. 1 (1992): 562-569. Abstract

Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." LOGICS IN AI. 633 (1992): 339-356. Abstract

Alferes, {José Júlio Alves}. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." Lecture Notes in Artificial Intelligence. Vol. 633. 1992. 339-356. Abstract

Alferes, {José Júlio Alves}. "WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION." John Wiley & Sons. 1992. 102-106. Abstract

Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL." MIT Press. 1993. 316-330. Abstract

Alferes, {José Júlio Alves}. "NONMONOTONIC REASONING WITH LOGIC PROGRAMMING." Journal Of Logic Programming. 17 (1993): 227-263. Abstract

Alferes, {José Júlio Alves}. "OPTATIVE REASONING WITH SCENARIO SEMANTICS." MIT Press. 1993. 601-615. Abstract

Alferes, {José Júlio Alves}. "SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS." MIT Press. 1993. 334-348. Abstract

Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." Theoretical Computer Science. 122 (1994): 49-68. Abstract

Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION." MIT Press. 1994. 424-438. Abstract

Alferes, {José Júlio}, and {Luís Moniz} Pereira. "Belief, provability, and logic programs." Journal Of Applied Non-Classical Logics. 5 (1995): 31-50. Abstract

{De Almeida Móra}, Iara, and {José Júlio} Alferes. "Modelling diagnosis systems with the logic programming." Progress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, Proceedings. Vol. 990. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 990. Springer-Verlag, 1995. 409-418. Abstract

Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "A Logic Programming System for Non-monotonic Reasoning." Journal Of Automated Reasoning. 14 (1995): 93-147. Abstract

Alferes, {José Júlio Alves}. "Strong and explicit negation in non-monotonic reasoning and logic programming." Lecture Notes in Artificial Intelligence. Vol. 1126. 1996. 143-163. Abstract

Alferes, {José Júlio}, {Luís Moniz} Pereira, and {Teodor C. } Przymusinski. "Belief revision in non-monotonic reasoning and logic programming." Fundamenta Informaticae. 28 (1996): 1-22. Abstract

Schroeder, Michael, Iara Móra, and {José Julio} Alferes. "Vivid agents arguing about distributed extended logic programs." Progress in Artificial Intelligence - 8th Portuguese Conference on Artificial Intelligence, EPIA 1997, Proceedings. Vol. 1323. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1323. Springer-Verlag, 1997. 217-228. Abstract

Alferes, {José Júlio Alves}. "Update-programs can update programs." Lecture Notes in Artificial Intelligence. Vol. 1216. 1997. 110-131. Abstract

{De Almeida Móra}, Iara, and {José Júlio} Alferes. "Argumentative and cooperative multi-agent system for extended logic programming." Advances in Artificial Intelligence - 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998, Proceedings. Vol. 1515. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1515. Springer-Verlag, 1998. 161-170. Abstract

Alferes, {José Júlio Alves}. "'Classical' negation in nonmonotonic reasoning and logic programming." Journal Of Automated Reasoning. 20 (1998): 107-142. Abstract