José Júlio Alferes

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

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}. "Well-founded abduction via tabled dual programs." MIT Press. 1999. 426-440. 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

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

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

Alferes, {José Júlio Alves}. "A compilation of updates plus preferences." Lecture Notes in Artificial Intelligence. Vol. 2424. 2002. 62-73. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Computing environment-aware agent behaviours with logic program updates." Lecture Notes in Computer Science. Vol. 2372. 2002. 216-232. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Evolving logic programs." Lecture Notes in Computer Science. Vol. 2424. 2002. 50-61. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "A Language for Multi-dimensional Updates." Electronic Notes In Theoretical Computer Science. 70 (2002): 20-38. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "A Language for Multi-dimensional Updates." Datalogiske Skrifter. Vol. 93. Roskilde University, 2002. 19-34. Abstract

Alferes, {José Júlio Alves}. "Logic programming updating - A guided approach." Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. Eds. {Antonis C. } Kakas, and Fariba Sadri. Vol. 2408. Lecture Notes in Computer Science, 2408. Springer, 2002. 382-412. Abstract

Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "LUPS - A language for updating logic programs." Artificial Intelligence. 138 (2002): 87-116. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "MINERVA - Dynamic Logic Programming agent architecture." Lecture Notes in Computer Science. Vol. 2333. 2002. 141-157. Abstract

Alferes, {José Júlio Alves}. "Updates plus preferences." Lecture Notes in Artificial Intelligence. Vol. 1919. 2002. 345-360. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "An evolvable rule-based e-mail agent." Lecture Notes in Computer Science. Vol. 2902. 2003. 394-408. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "An Evolving Agent with EVOLP." Declarative Programming. 2003. 205-216. Abstract

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Logic programming for evolving agents." Lecture Notes in Computer Science. Vol. 2782. 2003. 281-297. Abstract

Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "Semantic Web Logic Programming tools." Lecture Notes in Computer Science. 2003. 16-32. Abstract