Katarina Britz

From MaRDI portal
(Redirected from Person:839647)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A KLM perspective on defeasible reasoning for description logics2020-06-04Paper
Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)2020-05-14Paper
Contextual rational closure for defeasible \(\mathcal{ALC} \)
Annals of Mathematics and Artificial Intelligence
2019-12-09Paper
Preferential accessibility and preferred worlds
Journal of Logic, Language and Information
2019-01-18Paper
Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes2018-11-23Paper
From KLM-style conditionals to defeasible modalities, and back
Journal of Applied Non-Classical Logics
2018-09-17Paper
Rationality and context in defeasible subsumption2018-06-26Paper
Introducing role defeasibility in description logics
Logics in Artificial Intelligence
2016-11-30Paper
Ontology learning from interpretations in lightweight description logics
Inductive Logic Programming
2016-10-19Paper
Preferential reasoning for modal logics
Electronic Notes in Theoretical Computer Science
2016-10-07Paper
Reachability modules for the description logic \(\mathcal{SRIQ}\)
Logic for Programming, Artificial Intelligence, and Reasoning
2014-01-17Paper
Constrained consequence
Logica Universalis
2013-03-21Paper
Semantics for dual preferential entailment
Journal of Philosophical Logic
2009-09-02Paper
AI 2003: Advances in Artificial Intelligence
Lecture Notes in Computer Science
2009-08-07Paper
A power algebra for theory change
Journal of Logic, Language and Information
2000-01-30Paper
Computing verisimilitude
Notre Dame Journal of Formal Logic
1996-01-29Paper
Peirce algebras
Formal Aspects of Computing
1995-05-01Paper
A note on fuzzy power relations
Fuzzy Sets and Systems
1994-08-22Paper


Research outcomes over time


This page was built for person: Katarina Britz