Matthias Knorr

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]