Johannes Heidema

21 papers A* 1B 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Congruences and Hoehnke radicals on graphs.
Discuss. Math. Graph Theory
Izak Broere, Johannes Heidema, Stefan Veldsman
2016 J jnl
The quest for a characterization of hom-properties of finite character.
Discuss. Math. Graph Theory
Izak Broere, Johannes Heidema, Moroli D. V. Matsoha
2013 — conf
Supraclassical Consequence Relations - Tolerating Rare Counterexamples.
Australasian Conference on Artificial Intelligence
Willem Adrian Labuschagne, Johannes Heidema, Katarina Britz
2013 J jnl
Universal H-Colourable Graphs.
Graphs Comb.
Izak Broere, Johannes Heidema
2013 J jnl
Universality for and in induced-hereditary graph properties.
Discuss. Math. Graph Theory
Izak Broere, Johannes Heidema
2013 J jnl
Universality in graph properties with degree restrictions.
Discuss. Math. Graph Theory
Izak Broere, Johannes Heidema, Peter Mihók
2011 J jnl
Constrained Consequence.
Logica Universalis
Katarina Britz, Johannes Heidema, Ivan Varzinczak
2009 — conf
Modelling Object Typicality in Description Logics.
Australasian Conference on Artificial Intelligence
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
2009 — conf
Modelling Object Typicality in Description Logics.
Description Logics
Katarina Britz, Johannes Heidema, Tommie Meyer
2009 J jnl
Semantics for Dual Preferential Entailment.
J. Philos. Log.
Katarina Britz, Johannes Heidema, Willem Adrian Labuschagne
2008 A* conf
Semantic Preferential Subsumption.
KR
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
2008 J jnl
Universality and programmability of quantum computers.
Theor. Comput. Sci.
Willem L. Fouché, Johannes Heidema, Glyn Jones, Petrus H. Potgieter
2003 — conf
Semiring-Valued Satisfiability.
Australian Conference on Artificial Intelligence
Katarina Britz, Johannes Heidema
2003 — conf
Some Logics of Belief and Disbelief.
Australian Conference on Artificial Intelligence
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
2002 J jnl
Merging Inference and Conjecture by Information.
Synth.
Isabella C. Burger, Johannes Heidema
2002 J jnl
Some logics of belief and disbelief
CoRR
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
2002 — conf
Some logics of belief and disbelief.
NMR
Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
2002 J jnl
Systematic Withdrawal.
J. Philos. Log.
Thomas Andreas Meyer, Johannes Heidema, Willem Adrian Labuschagne, Louise Leenen
2000 B conf
Epistemic States Guiding the Rational Dynamics of Information.
PRICAI
Johannes Heidema, Isabella C. Burger
2000 J jnl
Infobase Change: A First Approximation.
J. Log. Lang. Inf.
Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema
2000 J jnl
Refined Epistemic Entrenchment.
J. Log. Lang. Inf.
Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema