José Júlio Alferes

Leite, {João Alexandre}, and {José Júlio} Alferes. "MINERVA - A dynamic Logic Programming agent architecture." Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers. Vol. 2333 LNAI. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2333 LNAI. Springer-Verlag, 2002. 141-157. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Multi-dimensional Dynamic Knowledge Representation." Lecture Notes in Computer Science. Vol. 2173. Springer, 2001. 365-378. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints." Lecture Notes in Computer Science. Vol. 2258. Springer, 2001. 276-289. Abstract

Alferes, {José Júlio Alves}, and DI Group Author. "Dynamic knowledge representation and its applications." Lecture Notes in Computer Science. Vol. 1904. 2000. 1-10. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Dynamic updates of non-monotonic knowledge bases." Journal Of Logic Programming. 45 (2000): 43-70. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Multi-dimensional Dynamic Logic Programming." Computational Logic in Multi-Agent Systems. 2000. 17-26. Abstract

Alferes, {José Júlio Alves}. "Partial models of extended generalized logic programs." Lecture Notes in Computer Science. Vol. 1861. 2000. 149-163. Abstract

Alferes, {José Júlio Alves}. "Well-founded abduction via tabled dual programs." MIT Press. 1999. 426-440. Abstract

Alferes, JJ, LM Pereira, H. Przymusinska, and TC Przymusinski. "LUPS - A language for updating logic programs." LOGIC PROGRAMMING AND NONMONOTONIC REASONING. Eds. M. Gelfond, N. Leone, and G. Pfeifer. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. SPRINGER-VERLAG BERLIN, 1999. 162-176. Abstract

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

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Dynamic Logic Programming." Declarative Programming. 1998. 393-408. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Dynamic Logic Programming." Representation and Reasoning. Morgan Kaufmann, 1998. 98-109. Abstract

Alferes, {José Júlio Alves}. "Special issue - Logics for artificial intelligence - Preface." Journal Of Automated Reasoning. 20 (1998): 1-3. 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}. "Update-programs can update programs." Lecture Notes in Artificial Intelligence. Vol. 1216. 1997. 110-131. 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}, {Luís Moniz} Pereira, and {Teodor C. } Przymusinski. "Belief revision in non-monotonic reasoning and logic programming." Fundamenta Informaticae. 28 (1996): 1-22. 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

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}, 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

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

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