Title: Biblio RTF Export
Author: Biblio

Gomes, Ana Sofia, and José Júlio Alferes. "How to combine event stream reasoning with transactions for the semantic web." Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Proceedings. 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.

Gomes, Ana Sofia, and José Júlio Alferes. "A procedure for an event-condition-transaction language." Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings. 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.

Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "A goal-directed implementation of query answering for hybrid MKNF knowledge bases." Theory and Practice of Logic Programming. 14 (2014): 239-264.

Knorr, Matthias, and José Julio Alferes. "Preserving strong equivalence while forgetting." Logics in Artificial Intelligence - 14th European Conference, JELIA 2014. Vol. 8761. Springer Verlag,  2014. 412-425.

Alferes, José Júlio, and Ana Sofia Gomes. "Transaction Logic with (Complex) Events." International Conference on Logic Programming. 2014. 

Gonçalves, Ricardo, and José Júlio Alferes. "Decidability and Implementation of Parametrized Logic Programs." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag,  2013. 361-373.

Gonçalves, Ricardo, and José Júlio Alferes. "Deontic logic programs." International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13. IFAAMAS,  2013. 1333-1334.

Alferes, José Júlio, Ricardo Gonçalves, and João Leite. "Equivalence of defeasible normative systems." Journal Of Applied Non-Classical Logics. 23 (2013): 25-48.

Gomes, Ana Sofia, and José Júlio Alferes. "Extending Transaction Logic with External Actions." Theory And Practice Of Logic Programming. 13.4-5-Online-Supplement (2013).

Gomes, Ana Sofia, and José Júlio Alferes. "External Transaction Logic with Automatic Compensations." Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV. Springer-Verlag,  2013. 239-255.

Alferes, José Júlio, Matthias Knorr, and Kewen Wang. "Forgetting under the Well-Founded Semantics." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag,  2013. 36-41.

Alferes, José Júlio, Matthias Knorr, and Terrance Swift. "Query-Driven Procedures for Hybrid MKNF Knowledge Bases." ACM Transactions On Computational Logic. 14.2 (2013).

Gonçalves, Ricardo, and José Júlio Alferes. "An Embedding of Input-Output Logic in Deontic Logic Programs." Deontic Logic in Computer Science - 11th International Conference, DEON 2012. Springer-Verlag,  2012. 61-75.

Gonçalves, Ricardo, and José Júlio Alferes. "Specifying and reasoning about normative systems in deontic logic programming." International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012. International Foundation for Autonomous Agents and Multiagent Systems,  2012. 1423-1424.

Gabaldon, Alfredo, João Leite, and José Júlio Alferes. "Evolving Logic Programs with Temporal Operators." Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond. Eds. M. Balduccini, and T. Son. LNCS/LNAI. Springer,  2011. 193-212.

Alferes, José Júlio, Federico Banti, and Antonio Brogi. "Evolving reactive logic programs." Intelligenza Artificiale. 5 (2011): 77-81.

Knorr, Matthias, José Júlio Alferes, and Pascal Hitzler. "Local closed world reasoning with description logics under the well-founded semantics." Artificial Intelligence. 175 (2011): 1528-1554.

Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Equilibrium Logic." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer,  2011. 236-241.

Gomes, Ana Sofia, and José Júlio Alferes. "A Proposal for Transactions in the Semantic Web." Progress in Artificial Intelligence, 15th Portuguese Conference on Artificial Intelligence, EPIA 2011. Springer,  2011. 690-703.

Knorr, Matthias, and José Júlio Alferes. "Querying OWL 2 QL and Non-monotonic Rules." The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference Science. Springer,  2011. 338-353.

Gomes, Ana Sofia, and José Júlio Alferes. "Transaction Logic with External Actions." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer,  2011. 272-277.

Damásio, Carlos Viegas, João Leite, and José Júlio Alferes. "Declarative Semantics for the Rule Interchange Format Production Rule Dialect." The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference. Springer,  2010. 798-813.

Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "Implementing Query Answering for Hybrid MKNF Knowledge Bases." Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010. Vol. 5937. Springer,  2010. 25-39.

Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Logic Programming." Logics in Artificial Intelligence - 12th European Conference, JELIA 2010. Springer,  2010. 182-194.

Knorr, Matthias. "Querying EL+ with Nonmonotonic Rules." ECAI 2010 - 19th European Conference on Artificial Intelligence. IOS Press,  2010. 1079-1080.

Alferes, {José Júlio Alves}. "An architecture for Idea Generation in Smart Meeting Rooms." Ambient Intelligence and Smart Environments. Vol. 5. 2009. 159-166.

Alferes, {José Júlio Alves}. "Evolution and Reactivity in the Semantic Web." Lecture Notes in Computer Science. Eds. F. Bry, and J. Maluszynski. Vol. 5500. Springer,  2009. 161-200.

Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "A Logic Programming System for Evolving Programs with Temporal Operators." Lecture Notes in Computer Science. Vol. 5816. 2009. 101-112.

Alferes, {José Júlio Alves}. "Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling." Lecture Notes in Computer Science. Vol. 5823. 2009. 1-16.

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Resource allocation with answer-set programming." IFAAMAS. Eds. C. Sierra, C. Castelfranchi, KS Decker, and JS Sichman. Vol. 1. IFAAMAS,  2009. 649-656.

Alferes, {José Júlio Alves}. "A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases." Frontiers in Artificial Intelligence and Applications. Vol. 178. 2008. 99-103.

Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "Evolving logic programming based agents with temporal operators." Web Intelligence. 2008. 238-244.

Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "Non-markovian agent evolution with EVOLP." Dagstuhl Seminar Proceedings. 2008. 13.

Alferes, {José Júlio Alves}. "Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web." CEUR WS-proceedings. 2008. 

Alferes, {José Júlio Alves}. "An argumentation-based negotiation for distributed extended logic programs." Lecture Notes in Artificial Intelligence. Eds. K. Inoue, K. Satoh, and F. Toni. Vol. 4371. 2007. 191-210.

Alferes, {José Júlio Alves}. "Argumentation-based Proof for an Argument in a Paraconsistent Setting." 2007. 64-79.

Alferes, {José Júlio Alves}. "r(3) - A foundational ontology for reactive rules." Lecture Notes in Computer Science. Eds. R. Meersman, and Z. Tari. Vol. 49803. 2007. 933-952.

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004." Journal Of Applied Logic. 5 (2007): 389-391.

Alferes, {José Júlio Alves}. "Towards tractable local closed world reasoning for the semantic web." Lecture Notes in Computer Science. Eds. J. Neves, MF Santos, and JM Machado. Vol. 4874. 2007. 3-14.

Alferes, {José Júlio Alves}. "A Well-founded Semantics for Hybrid MKNF Knowledge Bases." CEUR Workshop Proceedings. 2007. 347-354.

Alferes, {José Júlio}, and Ricardo Amador. "r3- A foundational ontology for reactive rules." 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. 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.

Alferes, {José Júlio Alves}. "An event-condition-action logic programming language." Lecture Notes in Artificial Intelligence. Vol. 4160. 2006. 29-42.

Alferes, {José Júlio Alves}. "Implementation of a complex event engine for the web." IEEE Services Computing Workshops. 2006. 65-72.

Alferes, {José Júlio Alves} Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006. Springer, 2006.

Alferes, {José Júlio}, 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." Revised Selected Papers 2009 - Euro-Par 2008 Workshops - Parallel Processing. 4187 LNCS (2006).

Bailey, James, Sara Comai, Wolfgang May, {Paula Lavinia} P?tr?njan, {José Júlio Alves} Alferes, Mikael Berndtsson, Angela Bonifati, Piero Fraternali, Bertram Ludäscher, Sebastian Schaffert, Silvie Spreeuwenberg, Lauren?iu Vasiliu, Marianne Winslett, Viegas} {C. Damásio, T. Groza, R. Hasan, A. Lee, A. Termehchy, and C. Zhang. "Reactivity on the Web." Revised Selected Papers 2009 - Euro-Par 2008 Workshops - Parallel Processing. 4254 LNCS (2006).

Alferes, {José Júlio Alves}. "Active Rules in the Semantic Web." Lecture Notes in Artificial Intelligence. 2005. 30-44.

Alferes, {José Júlio Alves}. "Active rules in the Semantic Web: Dealing with language heterogeneity." RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS. 3791 (2005): 30-44.

Alferes, {José Júlio Alves}. "Evolution and reactivity for the Web." Lecture Notes in Artificial Intelligence. Vol. 3564. 2005. 134-172.

Alferes, {José Júlio Alves}. "A general language for evolution and reactivity in the Semantic Web." Lecture Notes in Computer Science. Vol. 3703. 2005. 101-115.

Alferes, {José Júlio Alves}. "An ontology- and resources-based approach to evolution and reactivity in the Semantic Web." Lecture Notes in Computer Science. Vol. 3761. 2005. 1553-1570.

Alferes, {José Júlio Alves}. "Operational semantics for DyLPs." Lecture Notes in Artificial Intelligence. Vol. 3808. 2005. 43-54.

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "The Refined Extension Principle for Semantics of Dynamic Logic Programming." Studia Logica. 79 (2005): 7-32.

Alferes, {José Júlio Alves}. "The well supported semantics for multidimensional dynamic logic programs." Lecture Notes in Computer Science. Vol. 3662. 2005. 356-368.

Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "Abduction in well-founded semantics and generalized stable models via tabled dual programs." Theory And Practice Of Logic Programming. 4 (2004): 383-428.

Damásio, {Carlos Augusto Isaac Piló Viegas}, {José Júlio Alves} Alferes, {Pedro Manuel Corrêa Calvente de} Barahona, and {Francisco Moura Castro Ascensão E. de de} Azevedo. "Deductive Diagnosis of Digital Circuits." Artificial Intelligence Applications and Innovations. 2004. 155-165.

Damásio, {Carlos Augusto Isaac Piló Viegas}, {José Júlio Alves} Alferes, {Pedro Manuel Corrêa Calvente de} Barahona, and {Francisco Moura Castro Ascensão E. de de} Azevedo. "Deductive Diagnosis of Digital Circuits." IFIP World Computer Congress. 2004. 155-166.

Alferes, {José Júlio Alves}. "From logic programs updates to action description updates." Lecture Notes in Computer Science. Vol. 3487. 2004. 52-77.

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes Logics in Artificial Intelligence, 9th European Conference, JELIA 2004. Springer, 2004.

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Semantics for dynamic logic programming: A principle-based approach." Lecture Notes in Computer Science. Vol. 2923. 2004. 8-20.

Alferes, {José Júlio Alves}. "Towards generic query, update, and event languages for the semantic web." Lecture Notes in Computer Science. Vol. 3208. 2004. 19-33.

Alferes, {José Júlio Alves}. "Well founded semantics for logic program updates." Lecture Notes in Artificial Intelligence. Vol. 3315. 2004. 397-407.

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.

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

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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

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

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.

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

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

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

Alferes, {José Júlio Alves}. "Special issue - Logics for artificial intelligence - Preface." Journal Of Automated Reasoning. 20 (1998): 1-3.

{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.

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

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.

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.

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.

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.

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

{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.

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.

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.

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

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

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

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

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.

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.

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

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

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

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

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

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

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

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