| 2019 | LPNMR | Telco Network Inventory Validation with NoHR. | Vedran Kasalica, Ioannis Gerochristos, Jos Jlio Alferes, Ana Sofia Gomes, Matthias Knorr, Joo Leite |
| 2014 | JELIA | Preserving Strong Equivalence while Forgetting. | Matthias Knorr, Jos Jlio Alferes |
| 2013 | LPNMR | Forgetting under the Well-Founded Semantics. | Jos Jlio Alferes, Matthias Knorr, Kewen Wang |
| 2013 | LPNMR | Decidability and Implementation of Parametrized Logic Programs. | Ricardo Gonalves, Jos Jlio Alferes |
| 2012 | AAMAS | Specifying and reasoning about normative systems in deontic logic programming. | Ricardo Gonalves, Jos Jlio Alferes |
| 2011 | EPIA | A Proposal for Transactions in the Semantic Web. | Ana Sofia Gomes, Jos Jlio Alferes |
| 2011 | LPNMR | Transaction Logic with External Actions. | Ana Sofia Gomes, Jos Jlio Alferes |
| 2011 | LPNMR | Parametrized Equilibrium Logic. | Ricardo Gonalves, Jos Jlio Alferes |
| 2010 | ECAI | Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. | Matthias Knorr, Jos Jlio Alferes |
| 2010 | JELIA | Parametrized Logic Programming. | Ricardo Gonalves, Jos Jlio Alferes |
| 2010 | PADL | Implementing Query Answering for Hybrid MKNF Knowledge Bases. | Ana Sofia Gomes, Jos Jlio Alferes, Terrance Swift |
| 2009 | EPIA | A Logic Programming System for Evolving Programs with Temporal Operators. | Jos Jlio Alferes, Alfredo Gabaldon, Joo Leite |
| 2008 | ECAI | A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. | Matthias Knorr, Jos Jlio Alferes, Pascal Hitzler |
| 2007 | EPIA | Towards Tractable Local Closed World Reasoning for the Semantic Web. | Matthias Knorr, Jos Jlio Alferes, Pascal Hitzler |
| 2006 | JELIA | An Event-Condition-Action Logic Programming Language. | Jos Jlio Alferes, Federico Banti, Antonio Brogi |
| 2005 | EPIA | Operational Semantics for DyLPs. | Federico Banti, Jos Jlio Alferes, Antonio Brogi |
| 2005 | LPNMR | The Well Supported Semantics for Multidimensional Dynamic Logic Programs. | Federico Banti, Jos Jlio Alferes, Antonio Brogi, Pascal Hitzler |
| 2004 | LPNMR | Semantics for Dynamic Logic Programming: A Principle-Based Approach. | Jos Jlio Alferes, Federico Banti, Antonio Brogi, Joo Alexandre Leite |
| 2003 | EPIA | An Evolvable Rule-Based E-mail Agent. | Jos Jlio Alferes, Antonio Brogi, Joo Alexandre Leite, Lus Moniz Pereira |
| 2002 | JELIA | Evolving Logic Programs. | Jos Jlio Alferes, Antonio Brogi, Joo Alexandre Leite, Lus Moniz Pereira |
| 2002 | JELIA | A Compilation of Updates plus Preferences. | Jos Jlio Alferes, Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2001 | EPIA | On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. | Joo Alexandre Leite, Jos Jlio Alferes, Lus Moniz Pereira |
| 2001 | LOPSTR | Computing Environment-Aware Agent Behaviours with Logic Program Updates. | Jos Jlio Alferes, Antonio Brogi, Joo Alexandre Leite, Lus Moniz Pereira |
| 2001 | LPNMR | Multi-dimensional Dynamic Knowledge Representation. | Joo Alexandre Leite, Jos Jlio Alferes, Lus Moniz Pereira |
| 2000 | AIMSA | Dynamic Knowledge Representation and Its Applications. | Jos Jlio Alferes, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma |
| 2000 | JELIA | Updates plus Preferences. | Jos Jlio Alferes, Lus Moniz Pereira |
| 1999 | ICLP | Well-founded Abduction via Tabled Dual Programs. | Jos Jlio Alferes, Lus Moniz Pereira, Terrance Swift |
| 1999 | LPNMR | LUPS - A Language for Updating Logic Programs. | Jos Jlio Alferes, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
| 1998 | KR | Dynamic Logic Programming. | Jos Jlio Alferes, Joo Alexandre Leite, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
| 1997 | EPIA | Vivid Agents Arguing about Distributed Extended Logic Programs. | Michael Schroeder, Iara de Almeida Mra, Jos Jlio Alferes |
| 1996 | JELIA | Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. | Jos Jlio Alferes, Lus Moniz Pereira, Teodor C. Przymusinski |
| 1995 | EPIA | Non-Atomic Actions in the Situation Calculus. | Jos Jlio Alferes, Renwei Li, Lus Moniz Pereira |
| 1995 | EPIA | Belief Revision in Non-Monotonic Reasoning. | Jos Jlio Alferes, Lus Moniz Pereira, Teodor C. Przymusinski |
| 1995 | EPIA | Modelling Diagnosis Systems with the Logic Programming. | Iara de Almeida Mra, Jos Jlio Alferes |
| 1994 | ECAI | Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. | Jos Jlio Alferes, Carlos Viegas Damsio, Lus Moniz Pereira |
| 1994 | JELIA | Belief, Provability, and Logic Programs. | Jos Jlio Alferes, Lus Moniz Pereira |
| 1993 | EPIA | Diagnosis and Debugging as Contradiction Removal in Logic Programs. | Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes |
| 1993 | ICLP | Optative Reasoning with Scenario Semantics. | Lus Moniz Pereira, Jos Jlio Alferes |
| 1993 | LPNMR | Scenario Semantics of Extended Logic Programs. | Jos Jlio Alferes, Phan Minh Dung, Lus Moniz Pereira |
| 1993 | LPNMR | Diagnosis and Debugging as Contradiction Removal. | Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes |
| 1992 | ECAI | Well Founded Semantics for Logic Programs with Explicit Negation. | Lus Moniz Pereira, Jos Jlio Alferes |
| 1992 | ICLP | On Logic Program Semantics with Two Kinds of Negation. | Jos Jlio Alferes, Lus Moniz Pereira |
| 1992 | JELIA | Default Theory for Well Founded Semantics with Explicit Negation. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |
| 1991 | EPIA | The Extended Stable Models of Contradiction Removal Semantics. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |
| 1991 | ICLP | Nonmonotonic Reasoning with Well Founded Semantics. | Lus Moniz Pereira, Joaquim Nunes Aparcio, Jos Jlio Alferes |
| 1991 | IJCAI | Derivation Procedures for Extended Stable Models. | Lus Moniz Pereira, Joaquim Nunes Aparcio, Jos Jlio Alferes |
| 1991 | LPNMR | Contradiction Removal within Well Founded Semantics. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |