The Extended Stable Models of Contradiction Removal Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (EPIA, 1991)

Nonmonotonic Reasoning with Well Founded Semantics. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (ICLP, 1991)

Derivation Procedures for Extended Stable Models. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (IJCAI, 1991)

Contradiction Removal within Well Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (LPNMR, 1991)

A Practical Introduction to Well Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (SCAI, 1991)

Hypothetical Reasoning with Well Founded Semantics. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (SCAI, 1991)

Counterfactual Reasoning Based on Revising Assumptions. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (ISLP, 1991)

Well Founded Semantics for Logic Programs with Explicit Negation. - Luís Moniz Pereira; José Júlio Alferes (ECAI, 1992)

SLWV - A Theorem Prover for Logic Programming. - Luís Moniz Pereira; Luís Caires; José Júlio Alferes (ELP, 1992)

On Logic Program Semantics with Two Kinds of Negation. - José Júlio Alferes; Luís Moniz Pereira (JICSLP, 1992)

Default Theory for Well Founded Semantics with Explicit Negation. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (JELIA, 1992)

Contradiction Removal Semantics with Explicit Negation. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (Logic at Work, 1992)

Logic Programming for Non-Monotonic Reasoning. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (Logic at Work, 1992)

Debugging by Diagnosing Assumptions. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (AADEBUG, 1993)

Contradiction: When Avoidance Equals Removal - Part I. - José Júlio Alferes; Luís Moniz Pereira (ELP, 1993)

Contradiction: When Avoidance Equals Removal - Part II. - José Júlio Alferes; Luís Moniz Pereira (ELP, 1993)

Diagnosis and Debugging as Contradiction Removal in Logic Programs. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (EPIA, 1993)

Optative Reasoning with Scenario Semantics. - Luís Moniz Pereira; José Júlio Alferes (ICLP, 1993)

Scenario Semantics of Extended Logic Programs. - José Júlio Alferes; Phan Minh Dung; Luís Moniz Pereira (LPNMR, 1993)

Diagnosis and Debugging as Contradiction Removal. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (LPNMR, 1993)

Non-Monotonic Reasoning with Logic Programming. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (J. Log. Program., 1993)

Semantics of logic programs with explicit negation. - José Júlio Alferes (1993)

Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (ECAI, 1994)

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. - José Júlio Alferes; Luís Moniz Pereira (NMELP, 1994)

SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (ILPS, 1994)

Adding Closed World Assumptions to Well-Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (Theor. Comput. Sci., 1994)

Non-Atomic Actions in the Situation Calculus. - José Júlio Alferes; Renwei Li 001; Luís Moniz Pereira (EPIA, 1995)

Belief Revision in Non-Monotonic Reasoning. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (EPIA, 1995)

Modelling Diagnosis Systems with the Logic Programming. - Iara de Almeida Móra; José Júlio Alferes (EPIA, 1995)

Belief, Provability, and Logic Programs. - José Júlio Alferes; Luís Moniz Pereira (J. Appl. Non Class. Logics, 1995)

A Logic Programming System for Nonmonotonic Reasoning. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (J. Autom. Reason., 1995)

Reasoning with Logic Programming - José Júlio Alferes; Luís Moniz Pereira (Springer, 1996)

Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (JELIA, 1996)

Update-Programs Can Update Programs. - José Júlio Alferes; Luís Moniz Pereira (NMELP, 1996)

Belief Revision in Non-Monotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (Fundam. Informaticae, 1996)

Vivid Agents Arguing about Distributed Extended Logic Programs. - Michael Schroeder 001; Iara de Almeida Móra; José Júlio Alferes (EPIA, 1997)

Dynamic Logic Programming. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 1998)

Argumentative and Cooperative Multi-agent System for Extended Logic Programming. - Iara de Almeida Móra; José Júlio Alferes (SBIA, 1998)

Tabling Abduction. - José Júlio Alferes; Luís Moniz Pereira (TAPD, 1998)

Preface: Logics for Artificial Intelligence. - José Júlio Alferes; Luís Moniz Pereira (J. Autom. Reason., 1998)

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski (J. Autom. Reason., 1998)

Preliminary exploration on actions as updates. - José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski; Halina Przymusinska; Paulo Quaresma (APPIA-GULP-PRODE, 1999)

Well-founded Abduction via Tabled Dual Programs. - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (ICLP, 1999)

LUPS - A Language for Updating Logic Programs. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (LPNMR, 1999)

Dynamic Knowledge Representation and Its Applications. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski; Paulo Quaresma (AIMSA, 2000)

Partial Models of Extended Generalized Logic Programs. - José Júlio Alferes; Heinrich Herre; Luís Moniz Pereira (Computational Logic, 2000)

Multi-dimensional Dynamic Logic Programming. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

Updates plus Preferences. - José Júlio Alferes; Luís Moniz Pereira (JELIA, 2000)

Dynamic updates of non-monotonic knowledge bases. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (J. Log. Program., 2000)

Combining societal agents' knowledge. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (APPIA-GULP-PRODE, 2001)

MINERVA - A Dynamic Logic Programming Agent Architecture. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (ATAL, 2001)

On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (EPIA, 2001)

Computing Environment-Aware Agent Behaviours with Logic Program Updates. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (LOPSTR, 2001)

Multi-dimensional Dynamic Knowledge Representation. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (LPNMR, 2001)

A Language for Updates with Multiple Dimensions. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 2002)

Logic Programming Updating - A Guided Approach. - José Júlio Alferes; Luís Moniz Pereira (Computational Logic: Logic Programming and Beyond, 2002)

Evolving Logic Programs. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (JELIA, 2002)

A Compilation of Updates plus Preferences. - José Júlio Alferes; Pierangelo Dell'Acqua; Luís Moniz Pereira (JELIA, 2002)

LUPSA language for updating logic programs. - José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (Artif. Intell., 2002)

A Language for Multi-dimensional Updates. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (CLIMA, 2002)

An Evolving Agent with EVOLP. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (APPIA-GULP-PRODE, 2003)

Logic Programming for Evolving Agents. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (CIA, 2003)

An Evolvable Rule-Based E-mail Agent. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (EPIA, 2003)

Semantic Web Logic Programming Tools. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (PPSWR, 2003)

Abduction in Well-Founded Semantics and Generalized Stable Models - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (CoRR, 2003)

From Logic Programs Updates to Action Description Updates. - José Júlio Alferes; Federico Banti; Antonio Brogi (CLIMA, 2004)

Well Founded Semantics for Logic Program Updates. - Federico Banti; José Júlio Alferes; Antonio Brogi (IBERAMIA, 2004)

Deductive Diagnosis of Digital Circuits. - José Júlio Alferes; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio; Terrance Swift (AIAI, 2004)

Semantics for Dynamic Logic Programming: A Principle-Based Approach. - José Júlio Alferes; Federico Banti; Antonio Brogi; João Alexandre Leite (LPNMR, 2004)

Towards Generic Query, Update, and Event Languages for the Semantic Web. - Wolfgang May; José Júlio Alferes; François Bry (PPSWR, 2004)

Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. - José Júlio Alferes; Luís Moniz Pereira; Terrance Swift (Theory Pract. Log. Program., 2004)

Operational Semantics for DyLPs. - Federico Banti; José Júlio Alferes; Antonio Brogi (EPIA, 2005)

The Well Supported Semantics for Multidimensional Dynamic Logic Programs. - Federico Banti; José Júlio Alferes; Antonio Brogi; Pascal Hitzler (LPNMR, 2005)

An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web. - Wolfgang May; José Júlio Alferes; Ricardo Amador (OTM Conferences (2), 2005)

A General Language for Evolution and Reactivity in the Semantic Web. - José Júlio Alferes; Ricardo Amador; Wolfgang May (PPSWR, 2005)

Active Rules in the Semantic Web: Dealing with Language Heterogeneity. - Wolfgang May; José Júlio Alferes; Ricardo Amador (RuleML, 2005)

Evolution and Reactivity for the Web. - José Júlio Alferes; Wolfgang May (Reasoning Web, 2005)

The Refined Extension Principle for Semantics of Dynamic Logic Programming. - José Júlio Alferes; Federico Banti; Antonio Brogi; João Alexandre Leite (Stud Logica, 2005)

An Argumentation-Based Negotiation for Distributed Extended Logic Programs. - Iara Carnevale de Almeida; José Júlio Alferes (CLIMA, 2006)

An Event-Condition-Action Logic Programming Language. - José Júlio Alferes; Federico Banti; Antonio Brogi (JELIA, 2006)

Implementation of a Complex Event Engine for the Web. - José Júlio Alferes; Gaston E. Tagni (SCW, 2006)

A Well-founded Semantics for Hybrid MKNF Knowledge Bases. - Matthias Knorr 001; José Júlio Alferes; Pascal Hitzler (Description Logics, 2007)

Towards Tractable Local Closed World Reasoning for the Semantic Web. - Matthias Knorr 001; José Júlio Alferes; Pascal Hitzler (EPIA Workshops, 2007)

r 3- A Foundational Ontology for Reactive Rules. - José Júlio Alferes; Ricardo Amador (OTM Conferences (1), 2007)

Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. - José Júlio Alferes; João Leite 001 (J. Appl. Log., 2007)

Non-Markovian Agent Evolution with EVOLP. - José Júlio Alferes; Alfredo Gabaldon; João Alexandre Leite (Programming Multi-Agent Systems, 2008)

A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. - Matthias Knorr 001; José Júlio Alferes; Pascal Hitzler (ECAI, 2008)

Evolving Logic Programming Based Agents with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (IAT, 2008)

Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web. - José Júlio Alferes; Ricardo Amador; Philipp Kärger; Daniel Olmedilla (ISWC (Posters & Demos), 2008)

Bio-informatics Reactivity Features Through the Semantic Web. - Tiago Franco; José Júlio Alferes; Ludwig Krippahl; Ricardo Amador (SWAT4LS, 2008)

An architecture for Idea Generation in Smart Meeting Rooms. - Carlos Filipe Freitas; Carlos Ramos 001; José Júlio Alferes (AMIF, 2009)

Resource allocation with answer-set programming. - João Leite 001; José Júlio Alferes; Belopeta Mito (AAMAS (1), 2009)

A Logic Programming System for Evolving Programs with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (EPIA, 2009)

Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. - José Júlio Alferes; Matthias Knorr 001; Terrance Swift (ISWC, 2009)

Evolution and Reactivity in the Semantic Web. - José Júlio Alferes; Michael Eckert; Wolfgang May (REWERSE, 2009)

Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. - Matthias Knorr 001; José Júlio Alferes (ECAI, 2010)

Parametrized Logic Programming. - Ricardo Gonçalves 001; José Júlio Alferes (JELIA, 2010)

Implementing Query Answering for Hybrid MKNF Knowledge Bases. - Ana Sofia Gomes; José Júlio Alferes; Terrance Swift (PADL, 2010)

Declarative Semantics for the Rule Interchange Format Production Rule Dialect. - Carlos Viegas Damásio; José Júlio Alferes; João Leite 001 (ISWC (1), 2010)

Evolving Logic Programs with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

A Proposal for Transactions in the Semantic Web. - Ana Sofia Gomes; José Júlio Alferes (EPIA, 2011)

Transaction Logic with External Actions. - Ana Sofia Gomes; José Júlio Alferes (LPNMR, 2011)

Parametrized Equilibrium Logic. - Ricardo Gonçalves 001; José Júlio Alferes (LPNMR, 2011)

Querying OWL 2 QL and Non-monotonic Rules. - Matthias Knorr 001; José Júlio Alferes (ISWC (1), 2011)

Local closed world reasoning with description logics under the well-founded semantics. - Matthias Knorr 001; José Júlio Alferes; Pascal Hitzler (Artif. Intell., 2011)

Evolving reactive logic programs. - José Júlio Alferes; Federico Banti; Antonio Brogi (Intelligenza Artificiale, 2011)

Specifying and reasoning about normative systems in deontic logic programming. - Ricardo Gonçalves 001; José Júlio Alferes (AAMAS, 2012)

An Embedding of Input-Output Logic in Deontic Logic Programs. - Ricardo Gonçalves 001; José Júlio Alferes (DEON, 2012)

Deontic logic programs. - Ricardo Gonçalves 001; José Júlio Alferes (AAMAS, 2013)

External Transaction Logic with Automatic Compensations. - Ana Sofia Gomes; José Júlio Alferes (CLIMA, 2013)

Forgetting under the Well-Founded Semantics. - José Júlio Alferes; Matthias Knorr 001; Kewen Wang 001 (LPNMR, 2013)

Decidability and Implementation of Parametrized Logic Programs. - Ricardo Gonçalves 001; José Júlio Alferes (LPNMR, 2013)

Equivalence of defeasible normative systems. - José Júlio Alferes; Ricardo Gonçalves 001; João Leite 001 (J. Appl. Non Class. Logics, 2013)

Query-Driven Procedures for Hybrid MKNF Knowledge Bases. - José Júlio Alferes; Matthias Knorr 001; Terrance Swift (ACM Trans. Comput. Log., 2013)

Extending Transaction Logic with External Actions. - Ana Sofia Gomes; José Júlio Alferes (Theory Pract. Log. Program., 2013)

Preserving Strong Equivalence while Forgetting. - Matthias Knorr 001; José Júlio Alferes (JELIA, 2014)

Transaction Logic with (Complex) Events. - Ana Sofia Gomes; José Júlio Alferes (CoRR, 2014)

A goal-directed implementation of query answering for hybrid MKNF knowledge bases. - Ana Sofia Gomes; José Júlio Alferes; Terrance Swift (Theory Pract. Log. Program., 2014)

A Procedure for an Event-Condition-Transaction Language. - Ana Sofia Gomes; José Júlio Alferes (RR, 2015)

How to Combine Event Stream Reasoning with Transactions for the Semantic Web. - Ana Sofia Gomes; José Júlio Alferes (RuleML, 2015)

RuleML (Web Rule Symposium) 2016 Report. - Paul Fodor; Guido Governatori; José Júlio Alferes; Leopoldo E. Bertossi (AI Mag., 2017)

Combining transactions and automatic repairs. - Ana Sofia Gomes; José Júlio Alferes (J. Log. Comput., 2018)

Telco Network Inventory Validation with NoHR. - Vedran Kasalica; Ioannis Gerochristos; José Júlio Alferes; Ana Sofia Gomes; Matthias Knorr 001; João Leite 001 (LPNMR, 2019)