Thomas Andreas Meyer

Proceedings of the Twelfth International Symposium on Human Aspects of Information Security & Assurance, 2018

The Bayesian Description Logic BALC.

[BibT_eX]

[DOI]

Leonard Botha

Rafael Peñaloza

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Ontology-based support for taxonomic functions.

[BibT_eX]

[DOI]

Ecol. Informatics, 2017

Imagining Probabilistic Belief Change as Imaging (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2017

Benchmarking a mobile implementation of the social engineering prevention training tool.

[BibT_eX]

[DOI]

Francois Mouton

Marcel Teixeira

Proceedings of the 2017 Information Security for South Africa, 2017

Belief Change in a Preferential Non-monotonic Framework.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Mobile on-board vehicle event recorder: MOVER.

[BibT_eX]

[DOI]

Luke Kingsley Bell

Francois Mouton

Tommie Meyer

Proceedings of the 2017 Conference on Information Communication Technology and Society (ICTAS), 2017

2016

Semantic Technologies and Big Data Analytics for Cyber Defence.

[BibT_eX]

[DOI]

Louise Leenen

Int. J. Cyber Warf. Terror., 2016

Revising Incompletely Specified Convex Probabilistic Belief Bases.

[BibT_eX]

[DOI]

CoRR, 2016

Using Defeasible Information to Obtain Coherence.

[BibT_eX]

[DOI]

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

Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders.

[BibT_eX]

[DOI]

Blessing Ojeme

Audrey Mbogho

Proceedings of the 15th IEEE International Conference on Machine Learning and Applications, 2016

On Revision of Partially Specified Convex Probabilistic Belief Bases.

[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

Introducing Defeasibility into OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

On the Entailment Problem for a Logic of Typicality.

[BibT_eX]

[DOI]

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

Preferential Semantics as the Basis for Defeasible Reasoning in Ontologies.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

A Logic for Reasoning About Decision-Theoretic Projections.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

A Modal Logic for the Decision-Theoretic Projection Problem.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

Hybrid POMDP-BDI - An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

A New Approach to Probabilistic Belief Change.

[BibT_eX]

[DOI]

Gavin B. Rens

Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

What Does Entailment for PTL Mean?

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

SLAP: Specification logic of actions with probability.

[BibT_eX]

[DOI]

J. Appl. Log., 2014

Practical Defeasible Reasoning for Description Logics.

[BibT_eX]

[DOI]

Uli Sattler

Proceedings of the STAIRS 2014, 2014

Querying Temporal Databases via OWL 2 QL.

[BibT_eX]

[DOI]

Szymon Klarman

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics.

[BibT_eX]

[DOI]

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

A Logic for Specifying Stochastic Actions and Observations.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2014

Transition Constraints for Temporal Attributes.

[BibT_eX]

[DOI]

E. A. Nasubo Ongoma

C. Maria Keet

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

DIP: A Defeasible-Inference Platform for OWL Ontologies.

[BibT_eX]

[DOI]

Uli Sattler

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Complexity of Temporal Query Abduction in DL-Lite.

[BibT_eX]

[DOI]

Szymon Klarman

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Reachability Modules for the Description Logic $\mathcal{SRIQ}$.

[BibT_eX]

[DOI]

Riku Nortje

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Prediction and Explanation over DL-Lite Data Streams.

[BibT_eX]

[DOI]

Szymon Klarman

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

An Ontology for Regulating eHealth Interoperability in Developing African Countries.

[BibT_eX]

[DOI]

Deshendran Moodley

Christopher J. Seebregts

Anban W. Pillay

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Module-theoretic Properties of Reachability Modules for SRIQ.

[BibT_eX]

[DOI]

Riku Nortje

Arina Britz

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Towards Practical Defeasible Reasoning for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Preferential Role Restrictions.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

A General Family of Preferential Belief Removal Operators.

[BibT_eX]

[DOI]

Chattrakul Sombattheera

J. Philos. Log., 2012

Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441).

[BibT_eX]

[DOI]

James P. Delgrande

Ulrike Sattler

Dagstuhl Reports, 2012

A Brief Overview of Artificial Intelligence in South Africa.

[BibT_eX]

[DOI]

Alexander Ferrein

AI Mag., 2012

A Logic for Specifying Agent Actions and Observations with Probability.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2012, 2012

A defeasible reasoning approach for description logic ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

A note on the translation of conceptual data models into description logics: disjointness and covering assumptions.

[BibT_eX]

[DOI]

Aurona Gerber

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

PTL: A Propositional Typicality Logic.

[BibT_eX]

[DOI]

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

A Protege Plug-in for Defeasible Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Normal Modal Preferential Consequence.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

How to Revise a Total Preorder.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

Preferential Reasoning for Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Root Justifications for Ontology Repair.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Bidirectional Reachability-Based Modules.

[BibT_eX]

[DOI]

Riku Nortje

Arina Britz

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Concept Model Semantics for DL Preferential Reasoning.

[BibT_eX]

[DOI]

Arina Britz

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Semantic Foundation for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

A logic-based perspective on agent reconfiguration: Preliminary report.

[BibT_eX]

[DOI]

Ivan Varzinczak

Proceedings of the AFRICON 2011, 2011

2010

Equilibria in social belief removal.

[BibT_eX]

[DOI]

Synth., 2010

Double preference relations for generalised belief change.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Introduction: Special Issue on Knowledge Representation and Ontology Research.

[BibT_eX]

[DOI]

Mehmet A. Orgun

Appl. Artif. Intell., 2010

Horn Belief Change: A Contraction Core.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

A Logic for Reasoning about Actions and Explicit Observations.

[BibT_eX]

[DOI]

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009

Next Steps in Propositional Horn Contraction.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Modelling Object Typicality in Description Logics.

[BibT_eX]

[DOI]

Tommie Meyer

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Iterated Belief Change and the Recovery Axiom.

[BibT_eX]

[DOI]

J. Philos. Log., 2008

Introduction to the special issue on advances in ontologies.

[BibT_eX]

[DOI]

Mehmet A. Orgun

Expert Syst. J. Knowl. Eng., 2008

Semantic Preferential Subsumption.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007

Relaxations of semiring constraint satisfaction problems.

[BibT_eX]

[DOI]

Louise Leenen

Inf. Process. Lett., 2007

Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1.

[BibT_eX]

[DOI]

Anne Cregan

Rolf Schwitter

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

On the Dynamics of Total Preorders: Revising Abstract Interval Orders.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Implementing Iterated Belief Change Via Prime Implicates.

[BibT_eX]

[DOI]

Zhi Qiang Zhuang

Maurice Pagnucco

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT.

[BibT_eX]

[DOI]

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

2006

Admissible and Restrained Revision.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

Social choice theory, belief merging, and strategy-proofness.

[BibT_eX]

[DOI]

Aditya K. Ghose

Inf. Fusion, 2006

A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings.

[BibT_eX]

[DOI]

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

A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder.

[BibT_eX]

[DOI]

Ka-Shu Wong

Proceedings of the Proceedings, 2006

Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach.

[BibT_eX]

Laurent Perrussel

Jean-Marc Thévenin

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Mutual enrichment through nested belief change.

[BibT_eX]

[DOI]

Laurent Perrussel

Jean-Marc Thévenin

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

Finding Maximally Satisfiable Terminologies for the Description Logic ALC.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Belief Liberation (and Retraction).

[BibT_eX]

[DOI]

Stud Logica, 2005

Mediation Using m-States.

[BibT_eX]

[DOI]

Pilar Pozos Parra

Laurent Perrussel

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Knowledge Integration for Description Logics.

[BibT_eX]

[DOI]

Kevin Lee

Proceedings of the Proceedings, 2005

2004

A unifying semantics for belief change.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Logical Foundations of Negotiation: Strategies and Preferences.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Classification of Ontology Modification.

[BibT_eX]

[DOI]

Kevin Lee

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

LPOD Answer Sets and Nash Equilibria.

[BibT_eX]

[DOI]

Norman Y. Foo

Gerhard Brewka

Proceedings of the Advances in Computer Science, 2004

Negotiation as Mutual Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Logical Foundations of Negotiation: Outcome, Concession, and Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Non-Prioritized Ranked Belief Change.

[BibT_eX]

[DOI]

J. Philos. Log., 2003

2002

Systematic Withdrawal.

[BibT_eX]

[DOI]

Willem Adrian Labuschagne

Louise Leenen

J. Philos. Log., 2002

Syntactic Representations of Semantic Merging Operations.

[BibT_eX]

[DOI]

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

Some logics of belief and disbelief.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Iterated revision and the axiom of recovery: a unified treatment via epistemic states.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2001

Basic Infobase Change.

[BibT_eX]

[DOI]

Stud Logica, 2001

On the semantics of combination operations.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2001

Social Choice, Merging, and Elections.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000

Infobase Change: A First Approximation.

[BibT_eX]

[DOI]

Willem Adrian Labuschagne

J. Log. Lang. Inf., 2000

Refined Epistemic Entrenchment.

[BibT_eX]

[DOI]

Willem Adrian Labuschagne

J. Log. Lang. Inf., 2000

On the semantics of merging

[BibT_eX]

[DOI]

CoRR, 2000

Merging Epistemic States.

[BibT_eX]

[DOI]