Matthias Knorr

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

2023

Forgetting in Answer Set Programming - A Survey.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 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

2021

On Combining Ontologies and Rules.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 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

2020

NoHR: An Overview.

[BibT_eX]

[DOI]

Künstliche Intell., 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

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

Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 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

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

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

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

Nonmonotonic Nominal Schemas Revisited.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 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

Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2014

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

[BibT_eX]

[DOI]

J. Log. Comput., 2014

On Efficient Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

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

Preserving Strong Equivalence while Forgetting.

[BibT_eX]

[DOI]

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

Evolving Bridge Rules in Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

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

2013

Query-Driven Procedures for Hybrid MKNF Knowledge Bases.

[BibT_eX]

[DOI]

Terrance Swift

ACM Trans. Comput. Log., 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

Non-monotonic Temporal Goals.

[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

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

[BibT_eX]

[DOI]

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

2012

Recent Advances in Integrating OWL and Rules (Technical Communication).

[BibT_eX]

[DOI]

David Carral Martínez

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Reconciling OWL and Non-monotonic Rules for the Semantic Web.

[BibT_eX]

[DOI]

Frederick Maier

Proceedings of the ECAI 2012, 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

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

2010

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

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling.

[BibT_eX]

[DOI]

Terrance Swift

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

2008

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

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

A Comparison of Disjunctive Well-founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 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]