{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Gomes, Ana Sofia, and Jos\'e9 J\'falio Alferes. "How to combine event stream reasoning with transactions for the semantic web." \i Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Proceedings\i0 . Vol. 9202. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9202. Springer-Verlag,  2015. 258-273.\par \par Gomes, Ana Sofia, and Jos\'e9 J\'falio Alferes. "A procedure for an event-condition-transaction language." \i Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings\i0 . Vol. 9209. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9209. Springer-Verlag,  2015. 113-129.\par \par Gomes, Ana Sofia, Jos\'e9 J\'falio Alferes, and Terrance Swift. "A goal-directed implementation of query answering for hybrid MKNF knowledge bases." \i Theory and Practice of Logic Programming\i0 . 14 (2014): 239-264.\par \par Knorr, Matthias, and Jos\'e9 Julio Alferes. "Preserving strong equivalence while forgetting." \i Logics in Artificial Intelligence - 14th European Conference, JELIA 2014\i0 . Vol. 8761. Springer Verlag,  2014. 412-425.\par \par Alferes, Jos\'e9 J\'falio, and Ana Sofia Gomes. "Transaction Logic with (Complex) Events." \i International Conference on Logic Programming\i0 . 2014. \par \par Gon\'e7alves, Ricardo, and Jos\'e9 J\'falio Alferes. "Decidability and Implementation of Parametrized Logic Programs." \i Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013\i0 . Springer-Verlag,  2013. 361-373.\par \par Gon\'e7alves, Ricardo, and Jos\'e9 J\'falio Alferes. "Deontic logic programs." \i International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13\i0 . IFAAMAS,  2013. 1333-1334.\par \par Alferes, Jos\'e9 J\'falio, Ricardo Gon\'e7alves, and Jo\'e3o Leite. "Equivalence of defeasible normative systems." \i Journal Of Applied Non-Classical Logics\i0 . 23 (2013): 25-48.\par \par Gomes, Ana Sofia, and Jos\'e9 J\'falio Alferes. "Extending Transaction Logic with External Actions." \i Theory And Practice Of Logic Programming\i0 . 13.4-5-Online-Supplement (2013).\par \par Gomes, Ana Sofia, and Jos\'e9 J\'falio Alferes. "External Transaction Logic with Automatic Compensations." \i Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV\i0 . Springer-Verlag,  2013. 239-255.\par \par Alferes, Jos\'e9 J\'falio, Matthias Knorr, and Kewen Wang. "Forgetting under the Well-Founded Semantics." \i Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013\i0 . Springer-Verlag,  2013. 36-41.\par \par Alferes, Jos\'e9 J\'falio, Matthias Knorr, and Terrance Swift. "Query-Driven Procedures for Hybrid MKNF Knowledge Bases." \i ACM Transactions On Computational Logic\i0 . 14.2 (2013).\par \par Gon\'e7alves, Ricardo, and Jos\'e9 J\'falio Alferes. "An Embedding of Input-Output Logic in Deontic Logic Programs." \i Deontic Logic in Computer Science - 11th International Conference, DEON 2012\i0 . Springer-Verlag,  2012. 61-75.\par \par Gon\'e7alves, Ricardo, and Jos\'e9 J\'falio Alferes. "Specifying and reasoning about normative systems in deontic logic programming." \i International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012\i0 . International Foundation for Autonomous Agents and Multiagent Systems,  2012. 1423-1424.\par \par Gabaldon, Alfredo, Jo\'e3o Leite, and Jos\'e9 J\'falio Alferes. "Evolving Logic Programs with Temporal Operators." \i Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond\i0 . Eds. M. Balduccini, and T. Son. LNCS/LNAI. Springer,  2011. 193-212.\par \par Alferes, Jos\'e9 J\'falio, Federico Banti, and Antonio Brogi. "Evolving reactive logic programs." \i Intelligenza Artificiale\i0 . 5 (2011): 77-81.\par \par Knorr, Matthias, Jos\'e9 J\'falio Alferes, and Pascal Hitzler. "Local closed world reasoning with description logics under the well-founded semantics." \i Artificial Intelligence\i0 . 175 (2011): 1528-1554.\par \par Gon\'e7alves, Ricardo, and Jos\'e9 J\'falio Alferes. "Parametrized Equilibrium Logic." \i Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011\i0 . Springer,  2011. 236-241.\par \par Gomes, Ana Sofia, and Jos\'e9 J\'falio Alferes. "A Proposal for Transactions in the Semantic Web." \i Progress in Artificial Intelligence, 15th Portuguese Conference on Artificial Intelligence, EPIA 2011\i0 . Springer,  2011. 690-703.\par \par Knorr, Matthias, and Jos\'e9 J\'falio Alferes. "Querying OWL 2 QL and Non-monotonic Rules." \i The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference Science\i0 . Springer,  2011. 338-353.\par \par Gomes, Ana Sofia, and Jos\'e9 J\'falio Alferes. "Transaction Logic with External Actions." \i Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011\i0 . Springer,  2011. 272-277.\par \par Dam\'e1sio, Carlos Viegas, Jo\'e3o Leite, and Jos\'e9 J\'falio Alferes. "Declarative Semantics for the Rule Interchange Format Production Rule Dialect." \i The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference\i0 . Springer,  2010. 798-813.\par \par Gomes, Ana Sofia, Jos\'e9 J\'falio Alferes, and Terrance Swift. "Implementing Query Answering for Hybrid MKNF Knowledge Bases." \i Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010\i0 . Vol. 5937. Springer,  2010. 25-39.\par \par Gon\'e7alves, Ricardo, and Jos\'e9 J\'falio Alferes. "Parametrized Logic Programming." \i Logics in Artificial Intelligence - 12th European Conference, JELIA 2010\i0 . Springer,  2010. 182-194.\par \par Knorr, Matthias. "Querying EL+ with Nonmonotonic Rules." \i ECAI 2010 - 19th European Conference on Artificial Intelligence\i0 . IOS Press,  2010. 1079-1080.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "An architecture for Idea Generation in Smart Meeting Rooms." \i Ambient Intelligence and Smart Environments\i0 . Vol. 5. 2009. 159-166.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Evolution and Reactivity in the Semantic Web." \i Lecture Notes in Computer Science\i0 . Eds. F. Bry, and J. Maluszynski. Vol. 5500. Springer,  2009. 161-200.\par \par Royval, \{Alfredo Gabaldon\}, \{Jo\'e3o Alexandre Carvalho Pinheiro\} Leite, and \{Jos\'e9 J\'falio Alves\} Alferes. "A Logic Programming System for Evolving Programs with Temporal Operators." \i Lecture Notes in Computer Science\i0 . Vol. 5816. 2009. 101-112.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling." \i Lecture Notes in Computer Science\i0 . Vol. 5823. 2009. 1-16.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Resource allocation with answer-set programming." \i IFAAMAS\i0 . Eds. C. Sierra, C. Castelfranchi, KS Decker, and JS Sichman. Vol. 1. IFAAMAS,  2009. 649-656.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases." \i Frontiers in Artificial Intelligence and Applications\i0 . Vol. 178. 2008. 99-103.\par \par Royval, \{Alfredo Gabaldon\}, \{Jo\'e3o Alexandre Carvalho Pinheiro\} Leite, and \{Jos\'e9 J\'falio Alves\} Alferes. "Evolving logic programming based agents with temporal operators." \i Web Intelligence\i0 . 2008. 238-244.\par \par Royval, \{Alfredo Gabaldon\}, \{Jo\'e3o Alexandre Carvalho Pinheiro\} Leite, and \{Jos\'e9 J\'falio Alves\} Alferes. "Non-markovian agent evolution with EVOLP." \i Dagstuhl Seminar Proceedings\i0 . 2008. 13.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web." \i CEUR WS-proceedings\i0 . 2008. \par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "An argumentation-based negotiation for distributed extended logic programs." \i Lecture Notes in Artificial Intelligence\i0 . Eds. K. Inoue, K. Satoh, and F. Toni. Vol. 4371. 2007. 191-210.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Argumentation-based Proof for an Argument in a Paraconsistent Setting." 2007. 64-79.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "r(3) - A foundational ontology for reactive rules." \i Lecture Notes in Computer Science\i0 . Eds. R. Meersman, and Z. Tari. Vol. 49803. 2007. 933-952.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004." \i Journal Of Applied Logic\i0 . 5 (2007): 389-391.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Towards tractable local closed world reasoning for the semantic web." \i Lecture Notes in Computer Science\i0 . Eds. J. Neves, MF Santos, and JM Machado. Vol. 4874. 2007. 3-14.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "A Well-founded Semantics for Hybrid MKNF Knowledge Bases." \i CEUR Workshop Proceedings\i0 . 2007. 347-354.\par \par Alferes, \{Jos\'e9 J\'falio\}, and Ricardo Amador. "r3- A foundational ontology for reactive rules." \i On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings\i0 . PART 1 ed. Vol. 4803 LNCS. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4803 LNCS. 2007. 933-952.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "An event-condition-action logic programming language." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 4160. 2006. 29-42.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Implementation of a complex event engine for the web." \i IEEE Services Computing Workshops\i0 . 2006. 65-72.\par \par Alferes, \{Jos\'e9 J\'falio Alves\} \i Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006\i0 . Springer, 2006.\par \par Alferes, \{Jos\'e9 J\'falio\}, James Bailey, Wolfgang May, and Uta Schwertel. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioformatics): Preface." \i Revised Selected Papers 2009 - Euro-Par 2008 Workshops - Parallel Processing\i0 . 4187 LNCS (2006).\par \par Bailey, James, Sara Comai, Wolfgang May, \{Paula Lavinia\} P?tr?njan, \{Jos\'e9 J\'falio Alves\} Alferes, Mikael Berndtsson, Angela Bonifati, Piero Fraternali, Bertram Lud\'e4scher, Sebastian Schaffert, Silvie Spreeuwenberg, Lauren?iu Vasiliu, Marianne Winslett, Viegas\} \{C. Dam\'e1sio, T. Groza, R. Hasan, A. Lee, A. Termehchy, and C. Zhang. "Reactivity on the Web." \i Revised Selected Papers 2009 - Euro-Par 2008 Workshops - Parallel Processing\i0 . 4254 LNCS (2006).\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Active Rules in the Semantic Web." \i Lecture Notes in Artificial Intelligence\i0 . 2005. 30-44.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Active rules in the Semantic Web: Dealing with language heterogeneity." \i RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS\i0 . 3791 (2005): 30-44.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Evolution and reactivity for the Web." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 3564. 2005. 134-172.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "A general language for evolution and reactivity in the Semantic Web." \i Lecture Notes in Computer Science\i0 . Vol. 3703. 2005. 101-115.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "An ontology- and resources-based approach to evolution and reactivity in the Semantic Web." \i Lecture Notes in Computer Science\i0 . Vol. 3761. 2005. 1553-1570.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Operational semantics for DyLPs." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 3808. 2005. 43-54.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "The Refined Extension Principle for Semantics of Dynamic Logic Programming." \i Studia Logica\i0 . 79 (2005): 7-32.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "The well supported semantics for multidimensional dynamic logic programs." \i Lecture Notes in Computer Science\i0 . Vol. 3662. 2005. 356-368.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}, and \{Lu\'eds Manuel Sancho Moniz\} Pereira. "Abduction in well-founded semantics and generalized stable models via tabled dual programs." \i Theory And Practice Of Logic Programming\i0 . 4 (2004): 383-428.\par \par Dam\'e1sio, \{Carlos Augusto Isaac Pil\'f3 Viegas\}, \{Jos\'e9 J\'falio Alves\} Alferes, \{Pedro Manuel Corr\'eaa Calvente de\} Barahona, and \{Francisco Moura Castro Ascens\'e3o E. de de\} Azevedo. "Deductive Diagnosis of Digital Circuits." \i Artificial Intelligence Applications and Innovations\i0 . 2004. 155-165.\par \par Dam\'e1sio, \{Carlos Augusto Isaac Pil\'f3 Viegas\}, \{Jos\'e9 J\'falio Alves\} Alferes, \{Pedro Manuel Corr\'eaa Calvente de\} Barahona, and \{Francisco Moura Castro Ascens\'e3o E. de de\} Azevedo. "Deductive Diagnosis of Digital Circuits." \i IFIP World Computer Congress\i0 . 2004. 155-166.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "From logic programs updates to action description updates." \i Lecture Notes in Computer Science\i0 . Vol. 3487. 2004. 52-77.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes \i Logics in Artificial Intelligence, 9th European Conference, JELIA 2004\i0 . Springer, 2004.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Semantics for dynamic logic programming: A principle-based approach." \i Lecture Notes in Computer Science\i0 . Vol. 2923. 2004. 8-20.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Towards generic query, update, and event languages for the semantic web." \i Lecture Notes in Computer Science\i0 . Vol. 3208. 2004. 19-33.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Well founded semantics for logic program updates." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 3315. 2004. 397-407.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "An evolvable rule-based e-mail agent." \i Lecture Notes in Computer Science\i0 . Vol. 2902. 2003. 394-408.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "An Evolving Agent with EVOLP." \i Declarative Programming\i0 . 2003. 205-216.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Logic programming for evolving agents." \i Lecture Notes in Computer Science\i0 . Vol. 2782. 2003. 281-297.\par \par Dam\'e1sio, \{Carlos Augusto Isaac Pil\'f3 Viegas\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Semantic Web Logic Programming tools." \i Lecture Notes in Computer Science\i0 . 2003. 16-32.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "A compilation of updates plus preferences." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 2424. 2002. 62-73.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Computing environment-aware agent behaviours with logic program updates." \i Lecture Notes in Computer Science\i0 . Vol. 2372. 2002. 216-232.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Evolving logic programs." \i Lecture Notes in Computer Science\i0 . Vol. 2424. 2002. 50-61.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "A Language for Multi-dimensional Updates." \i Electronic Notes In Theoretical Computer Science\i0 . 70 (2002): 20-38.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "A Language for Multi-dimensional Updates." \i Datalogiske Skrifter\i0 . Vol. 93. Roskilde University,  2002. 19-34.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Logic programming updating - A guided approach." \i Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski\i0 . Eds. \{Antonis C. \} Kakas, and Fariba Sadri. Vol. 2408. Lecture Notes in Computer Science, 2408. Springer,  2002. 382-412.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}, and \{Lu\'eds Manuel Sancho Moniz\} Pereira. "LUPS - A language for updating logic programs." \i Artificial Intelligence\i0 . 138 (2002): 87-116.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "MINERVA - Dynamic Logic Programming agent architecture." \i Lecture Notes in Computer Science\i0 . Vol. 2333. 2002. 141-157.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Updates plus preferences." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 1919. 2002. 345-360.\par \par Leite, \{Jo\'e3o Alexandre\}, and \{Jos\'e9 J\'falio\} Alferes. "MINERVA - A dynamic Logic Programming agent architecture." \i Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers\i0 . 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.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Multi-dimensional Dynamic Knowledge Representation." \i Lecture Notes in Computer Science\i0 . Vol. 2173. Springer,  2001. 365-378.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints." \i Lecture Notes in Computer Science\i0 . Vol. 2258. Springer,  2001. 276-289.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}, and DI Group Author. "Dynamic knowledge representation and its applications." \i Lecture Notes in Computer Science\i0 . Vol. 1904. 2000. 1-10.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Dynamic updates of non-monotonic knowledge bases." \i Journal Of Logic Programming\i0 . 45 (2000): 43-70.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Multi-dimensional Dynamic Logic Programming." \i Computational Logic in Multi-Agent Systems\i0 . 2000. 17-26.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Partial models of extended generalized logic programs." \i Lecture Notes in Computer Science\i0 . Vol. 1861. 2000. 149-163.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Well-founded abduction via tabled dual programs." \i MIT Press\i0 . 1999. 426-440.\par \par Alferes, JJ, LM Pereira, H. Przymusinska, and TC Przymusinski. "LUPS - A language for updating logic programs." \i LOGIC PROGRAMMING AND NONMONOTONIC REASONING\i0 . Eds. M. Gelfond, N. Leone, and G. Pfeifer. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. SPRINGER-VERLAG BERLIN,  1999. 162-176.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "'Classical' negation in nonmonotonic reasoning and logic programming." \i Journal Of Automated Reasoning\i0 . 20 (1998): 107-142.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Dynamic Logic Programming." \i Declarative Programming\i0 . 1998. 393-408.\par \par Leite, \{Jo\'e3o Alexandre Carvalho Pinheiro\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "Dynamic Logic Programming." \i Representation and Reasoning\i0 . Morgan Kaufmann,  1998. 98-109.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Special issue - Logics for artificial intelligence - Preface." \i Journal Of Automated Reasoning\i0 . 20 (1998): 1-3.\par \par \{De Almeida M\'f3ra\}, Iara, and \{Jos\'e9 J\'falio\} Alferes. "Argumentative and cooperative multi-agent system for extended logic programming." \i Advances in Artificial Intelligence - 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998, Proceedings\i0 . 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.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Update-programs can update programs." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 1216. 1997. 110-131.\par \par Schroeder, Michael, Iara M\'f3ra, and \{Jos\'e9 Julio\} Alferes. "Vivid agents arguing about distributed extended logic programs." \i Progress in Artificial Intelligence - 8th Portuguese Conference on Artificial Intelligence, EPIA 1997, Proceedings\i0 . 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.\par \par Alferes, \{Jos\'e9 J\'falio\}, \{Lu\'eds Moniz\} Pereira, and \{Teodor C. \} Przymusinski. "Belief revision in non-monotonic reasoning and logic programming." \i Fundamenta Informaticae\i0 . 28 (1996): 1-22.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "Strong and explicit negation in non-monotonic reasoning and logic programming." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 1126. 1996. 143-163.\par \par Dam\'e1sio, \{Carlos Augusto Isaac Pil\'f3 Viegas\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "A Logic Programming System for Non-monotonic Reasoning." \i Journal Of Automated Reasoning\i0 . 14 (1995): 93-147.\par \par Alferes, \{Jos\'e9 J\'falio\}, and \{Lu\'eds Moniz\} Pereira. "Belief, provability, and logic programs." \i Journal Of Applied Non-Classical Logics\i0 . 5 (1995): 31-50.\par \par \{De Almeida M\'f3ra\}, Iara, and \{Jos\'e9 J\'falio\} Alferes. "Modelling diagnosis systems with the logic programming." \i Progress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, Proceedings\i0 . 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.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}, and \{Lu\'eds Manuel Sancho Moniz\} Pereira. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." \i Theoretical Computer Science\i0 . 122 (1994): 49-68.\par \par Dam\'e1sio, \{Carlos Augusto Isaac Pil\'f3 Viegas\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION." \i MIT Press\i0 . 1994. 424-438.\par \par Dam\'e1sio, \{Carlos Augusto Isaac Pil\'f3 Viegas\}, and \{Jos\'e9 J\'falio Alves\} Alferes. "DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL." \i MIT Press\i0 . 1993. 316-330.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "NONMONOTONIC REASONING WITH LOGIC PROGRAMMING." \i Journal Of Logic Programming\i0 . 17 (1993): 227-263.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "OPTATIVE REASONING WITH SCENARIO SEMANTICS." \i MIT Press\i0 . 1993. 601-615.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS." \i MIT Press\i0 . 1993. 334-348.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." \i FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2\i0 . 1 (1992): 562-569.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}, and \{Lu\'eds Manuel Sancho Moniz\} Pereira. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." \i LOGICS IN AI\i0 . 633 (1992): 339-356.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 633. 1992. 339-356.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION." \i John Wiley & Sons\i0 . 1992. 102-106.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS." \i MIT Press\i0 . 1991. 105-119.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS." \i MIT Press\i0 . 1991. 566-577.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS." \i Lecture Notes in Artificial Intelligence\i0 . Vol. 541. 1991. 105-119.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS." \i IOS Press\i0 . 1991. 289-300.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS." \i MIT Press\i0 . 1991. 475-489.\par \par Alferes, \{Jos\'e9 J\'falio Alves\}. "A PRACTICAL INTRODUCTION TO WELL FOUNDED SEMANTICS." \i IOS Press\i0 . 1991. 277-288.\par \par }