Johannes Heidema

According to our database, Johannes Heidema authored at least 18 papers between 2000 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2020

Congruences and Hoehnke radicals on graphs.

Izak Broere, Johannes Heidema, Stefan Veldsman

Discuss. Math. Graph Theory, 2020

2016

The quest for a characterization of hom-properties of finite character.

Izak Broere, Johannes Heidema, Moroli D. V. Matsoha

Discuss. Math. Graph Theory, 2016

2013

Universal H-Colourable Graphs.

Izak Broere, Johannes Heidema

Graphs Comb., 2013

Universality in graph properties with degree restrictions.

Izak Broere, Johannes Heidema, Peter Mihók

Discuss. Math. Graph Theory, 2013

Universality for and in induced-hereditary graph properties.

Izak Broere, Johannes Heidema

Discuss. Math. Graph Theory, 2013

Supraclassical Consequence Relations - Tolerating Rare Counterexamples.

Willem Adrian Labuschagne, Johannes Heidema, Katarina Britz

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

2011

Constrained Consequence.

Katarina Britz, Johannes Heidema, Ivan Varzinczak

Logica Universalis, 2011

2009

Semantics for Dual Preferential Entailment.

Katarina Britz, Johannes Heidema, Willem Adrian Labuschagne

J. Philos. Log., 2009

Modelling Object Typicality in Description Logics.

Katarina Britz, Johannes Heidema, Thomas Andreas Meyer

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

2008

Universality and programmability of quantum computers.

Willem L. Fouché, Johannes Heidema, Glyn Jones, Petrus H. Potgieter

Theor. Comput. Sci., 2008

Semantic Preferential Subsumption.

Katarina Britz, Johannes Heidema, Thomas Andreas Meyer

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

2003

Some Logics of Belief and Disbelief.

Samir Chopra, Johannes Heidema, Thomas Andreas Meyer

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

Semiring-Valued Satisfiability.

Katarina Britz, Johannes Heidema

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

2002

Merging Inference and Conjecture by Information.

Isabella C. Burger, Johannes Heidema

Synth., 2002

Systematic Withdrawal.

Thomas Andreas Meyer, Johannes Heidema, Willem Adrian Labuschagne, Louise Leenen

J. Philos. Log., 2002

2000

Infobase Change: A First Approximation.

Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema

J. Log. Lang. Inf., 2000

Refined Epistemic Entrenchment.

Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema

J. Log. Lang. Inf., 2000

Epistemic States Guiding the Rational Dynamics of Information.

Johannes Heidema, Isabella C. Burger

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000