João Leite

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2023

A Brief History of Updates of Answer-Set Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2023

Forgetting in Answer Set Programming - A Survey.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2023

On Modifying a Neural Network's Perception.

[BibT_eX]

[DOI]

CoRR, 2023

Revising Boolean Logical Models of Biological Regulatory Networks.

[BibT_eX]

[DOI]

Frederico Aleixo

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

Towards Provenance in Heterogeneous Knowledge Bases.

[BibT_eX]

[DOI]

Carlos Viegas Damásio

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Looking Inside the Black-Box: Logic-based Explanations for Neural Networks.

[BibT_eX]

[DOI]

João Ferreira

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Tractable Reasoning Using Logic Programs with Intensional Concepts.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

On Syntactic Forgetting Under Uniform Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2021

Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2021

Aligning Artificial Neural Networks and Ontologies towards Explainable AI.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

NoHR: An Overview.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Explainable Abstract Trains Dataset.

[BibT_eX]

[DOI]

Ludwig Krippahl

CoRR, 2020

On the limits of forgetting in Answer Set Programming.

[BibT_eX]

[DOI]

Artif. Intell., 2020

2019

A Syntactic Operator for Forgetting that Satisfies Strong Persistence.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems.

[BibT_eX]

[DOI]

André Platzer

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Telco Network Inventory Validation with NoHR.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Forgetting in Answer Set Programming with Anonymous Cycles.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2019

Forgetting in Modular Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Variable Elimination for DLP-Functions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

When you must forget: Beyond strong persistence when forgetting in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Exception-Based Knowledge Updates.

[BibT_eX]

[DOI]

CoRR, 2017

A note on the uniqueness of models in social abstract argumentation.

[BibT_eX]

[DOI]

CoRR, 2017

moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.

[BibT_eX]

[DOI]

Orkunt Sabuncu

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.

[BibT_eX]

[DOI]

Carlos Lopes

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

A Bird's-Eye View of Forgetting in Answer-Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Efficient Reasoning with Rules and Ontologies.

[BibT_eX]

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Iterative Variable Elimination in ASP.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2017

2016

The Ultimate Guide to Forgetting in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Inconsistency Management in Reactive Multi-context Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Forgetting in ASP: The Forgotten Properties.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Towards Inconsistency Management in Reactive Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

On Some Properties of Forgetting in ASP.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Towards Efficient Evolving Multi-Context Systems (Preliminary Report).

[BibT_eX]

[DOI]

CoRR, 2015

On Minimal Change in Evolving Multi-Context Systems (Preliminary Report).

[BibT_eX]

[DOI]

CoRR, 2015

Applications of logical approaches to argumentation.

[BibT_eX]

[DOI]

Argument Comput., 2015

On updates of hybrid knowledge bases composed of ontologies and rules.

[BibT_eX]

[DOI]

Theresa Swift

Artif. Intell., 2015

Querying LUBM with Non-monotonic Features in Protege using NoHR.

[BibT_eX]

[DOI]

Nuno Costa

Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

Next Step for NoHR: OWL 2 QL.

[BibT_eX]

[DOI]

Nuno Costa

Proceedings of the Semantic Web - ISWC 2015, 2015

Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies.

[BibT_eX]

[DOI]

Tobias Kaminski

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Efficient Paraconsistent Reasoning with Ontologies and Rules.

[BibT_eX]

[DOI]

Tobias Kaminski

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Extending NoHR for OWL 2 QL.

[BibT_eX]

[DOI]

Nuno Costa

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Reasoning over Ontologies and Non-monotonic Rules.

[BibT_eX]

[DOI]

Vadim Ivanov

Proceedings of the Progress in Artificial Intelligence, 2015

Minimal Change in Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2015

Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract).

[BibT_eX]

[DOI]

Tobias Kaminski

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

The rise and fall of semantic rule updates based on SE-models.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Theory Pract. Log. Program., 2014

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII).

[BibT_eX]

[DOI]

J. Log. Comput., 2014

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

On Strong and Default Negation in Logic Program Updates (Extended Version).

[BibT_eX]

[DOI]

Martin Baláz

CoRR, 2014

On Efficient Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

On Supporting Strong and Default Negation in Answer-Set Program Updates.

[BibT_eX]

[DOI]

Martin Baláz

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2014, 2014

Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On the Efficient Implementation of Social Abstract Argumentation.

[BibT_eX]

[DOI]

Marco Correia

Jorge Cruz

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Evolving Bridge Rules in Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

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

2013

Equivalence of defeasible normative systems.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Extending Social Abstract Argumentation with Votes on Attacks.

[BibT_eX]

[DOI]

Sinan Egilmez

Proceedings of the Theory and Applications of Formal Argumentation, 2013

A Query Tool for <i>EL</i> with Non-monotonic Rules.

[BibT_eX]

[DOI]

Vadim Ivanov

Proceedings of the Semantic Web - ISWC 2013, 2013

NoHR: Querying EL with Non-monotonic Rules.

[BibT_eX]

[DOI]

Vadim Ivanov

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Early Recovery in Logic Program Updates.

[BibT_eX]

[DOI]

Martin Baláz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Non-monotonic Temporal Goals.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

On Condensing a Sequence of Updates in Answer-Set Programming.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Time Is Up! - Norms with Deadlines in Action Languages.

[BibT_eX]

[DOI]

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

2012

Robust Equivalence Models for Semantic Updates of Answer-Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

A Unifying Perspective on Knowledge Updates.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

MKNF Knowledge Bases in Multi-Context Systems.

[BibT_eX]

[DOI]

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

Normative systems require hybrid knowledge bases.

[BibT_eX]

[DOI]

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

2011

Splitting and updating hybrid knowledge bases.

[BibT_eX]

[DOI]

Terrance Swift

Theory Pract. Log. Program., 2011

Splitting and Updating Hybrid Knowledge Bases (Extended Version)

[BibT_eX]

[DOI]

Terrance Swift

CoRR, 2011

Back and Forth Between Rules and SE-Models (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2011

Preface to the special issue on computational logics in multi-agent systems.

[BibT_eX]

[DOI]

Jürgen Dix

Ann. Math. Artif. Intell., 2011

Back and Forth between Rules and SE-Models.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Social Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications.

[BibT_eX]

[DOI]

André Platzer

Proceedings of the Formal Methods and Software Engineering, 2011

Normative Systems Represented as Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

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

Evolving Logic Programs with Temporal Operators.

[BibT_eX]

[DOI]

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

2010

Towards closed world reasoning in dynamic open worlds.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2010

Declarative Semantics for the Rule Interchange Format Production Rule Dialect.

[BibT_eX]

[DOI]

Carlos Viegas Damásio

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

On Semantic Update Operators for Answer-Set Programs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

ERASP - a system for enhancing recommendations using answer-set programming.

[BibT_eX]

[DOI]

Amal El Fallah Seghrouchni

Int. J. Reason. based Intell. Syst., 2009

Introductory Essay of LADS'009.

[BibT_eX]

[DOI]

Mehdi Dastani

Paolo Torroni

Proceedings of the Second Multi-Agent Logics, 2009

A Logic Programming System for Evolving Programs with Temporal Operators.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2009

Playing with Rules.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Resource allocation with answer-set programming.

[BibT_eX]

[DOI]

Belopeta Mito

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

2008

Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 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

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

Answer-Set Programming Based Dynamic User Modeling for Recommender Systems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2007

EVOLP: An Implementation.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

EVOLP: Tranformation-Based Semantics.

[BibT_eX]

[DOI]

Amal El Fallah Seghrouchni

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006

A Survey of Programming Languages and Platforms for Multi-Agent Systems.

[BibT_eX]

[DOI]

Rafael H. Bordini

Lars Braubach

Mehdi Dastani

Informatica (Slovenia), 2006

Adding Knowledge Updates to 3APL.

[BibT_eX]

[DOI]

Vivek Nigam

Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

A Dynamic Logic Programming Based System for Agents with Declarative Goals.

[BibT_eX]

[DOI]

Vivek Nigam

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Adding Evolving Abilities to a Multi-Agent System.

[BibT_eX]

[DOI]

Luís Soares

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

2004

Introduction.

[BibT_eX]

[DOI]

Jürgen Dix

Ken Satoh

Ann. Math. Artif. Intell., 2004

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

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

On Some Differences Between Semantics of Logic Program Updates.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

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

Preface.

[BibT_eX]

[DOI]

Jürgen Dix

Ken Satoh

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

Evolving Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 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

A Modified Semantics for LUPS.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2001

Evolving Multi-agent Viewpoints - an Architecture.

[BibT_eX]

[DOI]

Pierangelo Dell'Acqua

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

Multi-dimensional Dynamic Logic Programming.

[BibT_eX]

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

1999

Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming.

[BibT_eX]

[DOI]

Miguel Ferrand

Amílcar Cardoso

Proceedings of the Progress in Artificial Intelligence, 1999

Hypotethical Reasoning: an application to Optical Music Recognition.

[BibT_eX]

Miguel Ferrand

Amílcar Cardoso

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Iterated Logic Program Updates.

[BibT_eX]

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Dynamic Logic Programming.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Generalizing Updates: From Models to Programs.

[BibT_eX]

[DOI]