Johannes Heidema

Publication Activity (10 Years)

Years Active: 2000-2020
Publications (10 Years): 2

Top Topics

Graph Theoretic

Series Parallel

Maximal Cliques

Top Venues

Discuss. Math. Graph Theory

Australasian Conference on Artificial Intelligence

Publications

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