Epistemic States Guiding the Rational Dynamics of Information. - Johannes Heidema; Isabella C. Burger (PRICAI, 2000)

Refined Epistemic Entrenchment. - Thomas Andreas Meyer; Willem Adrian Labuschagne; Johannes Heidema (J. Log. Lang. Inf., 2000)

Infobase Change: A First Approximation. - Thomas Andreas Meyer; Willem Adrian Labuschagne; Johannes Heidema (J. Log. Lang. Inf., 2000)

Systematic Withdrawal. - Thomas Andreas Meyer; Johannes Heidema; Willem Adrian Labuschagne; Louise Leenen (J. Philos. Log., 2002)

Merging Inference and Conjecture by Information. - Isabella C. Burger; Johannes Heidema (Synth., 2002)

Semiring-Valued Satisfiability. - Katarina Britz; Johannes Heidema (Australian Conference on Artificial Intelligence, 2003)

Some Logics of Belief and Disbelief. - Samir Chopra; Johannes Heidema; Thomas Andreas Meyer (Australian Conference on Artificial Intelligence, 2003)

Semantic Preferential Subsumption. - Katarina Britz; Johannes Heidema; Thomas Andreas Meyer (KR, 2008)

Universality and programmability of quantum computers. - Willem L. Fouché; Johannes Heidema; Glyn Jones; Petrus H. Potgieter (Theor. Comput. Sci., 2008)

Modelling Object Typicality in Description Logics. - Katarina Britz; Johannes Heidema; Thomas Andreas Meyer (Australasian Conference on Artificial Intelligence, 2009)

Semantics for Dual Preferential Entailment. - Katarina Britz; Johannes Heidema; Willem Adrian Labuschagne (J. Philos. Log., 2009)

Constrained Consequence. - Katarina Britz; Johannes Heidema; Ivan Varzinczak (Logica Universalis, 2011)

Supraclassical Consequence Relations - Tolerating Rare Counterexamples. - Willem Adrian Labuschagne; Johannes Heidema; Katarina Britz (Australasian Conference on Artificial Intelligence, 2013)

Universality for and in induced-hereditary graph properties. - Izak Broere; Johannes Heidema (Discuss. Math. Graph Theory, 2013)

Universality in graph properties with degree restrictions. - Izak Broere; Johannes Heidema; Peter Mihók (Discuss. Math. Graph Theory, 2013)

Universal H-Colourable Graphs. - Izak Broere; Johannes Heidema (Graphs Comb., 2013)

The quest for a characterization of hom-properties of finite character. - Izak Broere; Johannes Heidema; Moroli D. V. Matsoha (Discuss. Math. Graph Theory, 2016)

Congruences and Hoehnke radicals on graphs. - Izak Broere; Johannes Heidema; Stefan Veldsman (Discuss. Math. Graph Theory, 2020)