José Júlio Alferes

J. Log. Comput., 2018

2017

RuleML (Web Rule Symposium) 2016 Report.

[BibT_eX]

[DOI]

AI Mag., 2017

2015

How to Combine Event Stream Reasoning with Transactions for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

A Procedure for an Event-Condition-Transaction Language.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

2014

A goal-directed implementation of query answering for hybrid MKNF knowledge bases.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Transaction Logic with (Complex) Events.

[BibT_eX]

[DOI]

CoRR, 2014

Preserving Strong Equivalence while Forgetting.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Extending Transaction Logic with External Actions.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Query-Driven Procedures for Hybrid MKNF Knowledge Bases.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

Equivalence of defeasible normative systems.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Decidability and Implementation of Parametrized Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Forgetting under the Well-Founded Semantics.

[BibT_eX]

[DOI]

Kewen Wang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

External Transaction Logic with Automatic Compensations.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Deontic logic programs.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

An Embedding of Input-Output Logic in Deontic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Specifying and reasoning about normative systems in deontic logic programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Evolving reactive logic programs.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Local closed world reasoning with description logics under the well-founded semantics.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Querying OWL 2 QL and Non-monotonic Rules.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Parametrized Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Transaction Logic with External Actions.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

A Proposal for Transactions in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2011

Evolving Logic Programs with Temporal Operators.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Declarative Semantics for the Rule Interchange Format Production Rule Dialect.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Implementing Query Answering for Hybrid MKNF Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2010

Parametrized Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

Evolution and Reactivity in the Semantic Web.

[BibT_eX]

[DOI]

Michael Eckert

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

A Logic Programming System for Evolving Programs with Temporal Operators.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2009

Resource allocation with answer-set programming.

[BibT_eX]

[DOI]

Belopeta Mito

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

An architecture for Idea Generation in Smart Meeting Rooms.

[BibT_eX]

[DOI]

Carlos Filipe Freitas

Carlos Ramos

Proceedings of the Ambient Intelligence Perspectives II, 2009

2008

Bio-informatics Reactivity Features Through the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences ( SWAT4LS ) Edinburgh, 2008

Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), 2008

Evolving Logic Programming Based Agents with Temporal Operators.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Non-Markovian Agent Evolution with EVOLP.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

2007

Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

<i>r</i> <sup>3</sup>- A Foundational Ontology for Reactive Rules.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Towards Tractable Local Closed World Reasoning for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2007

A Well-founded Semantics for Hybrid MKNF Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Implementation of a Complex Event Engine for the Web.

[BibT_eX]

[DOI]

Gaston E. Tagni

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

An Event-Condition-Action Logic Programming Language.

[BibT_eX]

[DOI]

Iara Carnevale de Almeida

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

An Argumentation-Based Negotiation for Distributed Extended Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

2005

The Refined Extension Principle for Semantics of Dynamic Logic Programming.

[BibT_eX]

[DOI]

Stud Logica, 2005

Evolution and Reactivity for the Web.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2005

Active Rules in the Semantic Web: Dealing with Language Heterogeneity.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

A General Language for Evolution and Reactivity in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

The Well Supported Semantics for Multidimensional Dynamic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Operational Semantics for DyLPs.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

2004

Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2004

Towards Generic Query, Update, and Event Languages for the Semantic Web.

[BibT_eX]

[DOI]

François Bry

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Semantics for Dynamic Logic Programming: A Principle-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Deductive Diagnosis of Digital Circuits.

[BibT_eX]

[DOI]

Francisco Azevedo

Pedro Barahona

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Well Founded Semantics for Logic Program Updates.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

From Logic Programs Updates to Action Description Updates.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003

Abduction in Well-Founded Semantics and Generalized Stable Models

[BibT_eX]

[DOI]

CoRR, 2003

Semantic Web Logic Programming Tools.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

An Evolvable Rule-Based E-mail Agent.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2003

Logic Programming for Evolving Agents.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003

An Evolving Agent with EVOLP.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

A Language for Multi-dimensional Updates.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

LUPSA language for updating logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2002

A Compilation of Updates plus Preferences.

[BibT_eX]

[DOI]

Pierangelo Dell'Acqua

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Evolving Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Logic Programming Updating - A Guided Approach.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

A Language for Updates with Multiple Dimensions.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Multi-dimensional Dynamic Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Computing Environment-Aware Agent Behaviours with Logic Program Updates.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2001

MINERVA - A Dynamic Logic Programming Agent Architecture.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Combining societal agents' knowledge.

[BibT_eX]

[DOI]

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Dynamic updates of non-monotonic knowledge bases.

[BibT_eX]

[DOI]

J. Log. Program., 2000

Updates plus Preferences.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Multi-dimensional Dynamic Logic Programming.

[BibT_eX]

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

Partial Models of Extended Generalized Logic Programs.

[BibT_eX]

[DOI]

Heinrich Herre

Proceedings of the Computational Logic, 2000

Dynamic Knowledge Representation and Its Applications.

[BibT_eX]

[DOI]

Paulo Quaresma

Proceedings of the Artificial Intelligence: Methodology, 2000

1999

LUPS - A Language for Updating Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Well-founded Abduction via Tabled Dual Programs.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Preliminary exploration on actions as updates.

[BibT_eX]

Paulo Quaresma

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

Preface: Logics for Artificial Intelligence.

[BibT_eX]

J. Autom. Reason., 1998

Tabling Abduction.

[BibT_eX]

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

Argumentative and Cooperative Multi-agent System for Extended Logic Programming.

[BibT_eX]

[DOI]

Iara de Almeida Móra

Proceedings of the Advances in Artificial Intelligence, 1998

Dynamic Logic Programming.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Vivid Agents Arguing about Distributed Extended Logic Programs.

[BibT_eX]

[DOI]

Michael Schroeder

Iara de Almeida Móra

Proceedings of the Progress in Artificial Intelligence, 1997

1996

Belief Revision in Non-Monotonic Reasoning and Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

Update-Programs Can Update Programs.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Reasoning with Logic Programming

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 1111, Springer, ISBN: 3-540-61488-5, 1996

1995

A Logic Programming System for Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

J. Autom. Reason., 1995

Belief, Provability, and Logic Programs.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1995

Modelling Diagnosis Systems with the Logic Programming.

[BibT_eX]

[DOI]

Iara de Almeida Móra

Proceedings of the Progress in Artificial Intelligence, 1995

Belief Revision in Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1995

Non-Atomic Actions in the Situation Calculus.

[BibT_eX]

[DOI]

Renwei Li

Proceedings of the Progress in Artificial Intelligence, 1995

1994

Adding Closed World Assumptions to Well-Founded Semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

SLX - A Top-down Derivation Procedure for Programs with Explicit Negation.

[BibT_eX]

Proceedings of the Logic Programming, 1994

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Non-Monotonic Reasoning with Logic Programming.

[BibT_eX]

[DOI]

J. Log. Program., 1993

Diagnosis and Debugging as Contradiction Removal.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Scenario Semantics of Extended Logic Programs.

[BibT_eX]

Phan Minh Dung

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Optative Reasoning with Scenario Semantics.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Diagnosis and Debugging as Contradiction Removal in Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1993

Contradiction: When Avoidance Equals Removal - Part II.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

Contradiction: When Avoidance Equals Removal - Part I.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

Debugging by Diagnosing Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

Logic Programming for Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

Contradiction Removal Semantics with Explicit Negation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

Default Theory for Well Founded Semantics with Explicit Negation.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1992

On Logic Program Semantics with Two Kinds of Negation.

[BibT_eX]

Proceedings of the Logic Programming, 1992

SLWV - A Theorem Prover for Logic Programming.

[BibT_eX]

[DOI]

Luís Caires

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

Well Founded Semantics for Logic Programs with Explicit Negation.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

Counterfactual Reasoning Based on Revising Assumptions.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Hypothetical Reasoning with Well Founded Semantics.

[BibT_eX]

Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

A Practical Introduction to Well Founded Semantics.

[BibT_eX]

Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Contradiction Removal within Well Founded Semantics.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Derivation Procedures for Extended Stable Models.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Nonmonotonic Reasoning with Well Founded Semantics.

[BibT_eX]

Proceedings of the Logic Programming, 1991

The Extended Stable Models of Contradiction Removal Semantics.

[BibT_eX]

[DOI]