 | 2009 |
| 13 |  | Katarina Britz,
Johannes Heidema,
Thomas Andreas Meyer:
Modelling Object Typicality in Description Logics.
Australasian Conference on Artificial Intelligence 2009: 506-516 |
| 12 |  | Katarina Britz,
Johannes Heidema,
Tommie Meyer:
Modelling Object Typicality in Description Logics.
Description Logics 2009 |
| 11 |  | Katarina Britz,
Johannes Heidema,
Willem Adrian Labuschagne:
Semantics for Dual Preferential Entailment.
J. Philosophical Logic 38(4): 433-446 (2009) |
| 2008 |
| 10 |  | Katarina Britz,
Johannes Heidema,
Thomas Andreas Meyer:
Semantic Preferential Subsumption.
KR 2008: 476-484 |
| 9 |  | Willem L. Fouché,
Johannes Heidema,
Glyn Jones,
Petrus H. Potgieter:
Universality and programmability of quantum computers.
Theor. Comput. Sci. 403(1): 121-129 (2008) |
| 2003 |
| 8 |  | Samir Chopra,
Johannes Heidema,
Thomas Andreas Meyer:
Some Logics of Belief and Disbelief.
Australian Conference on Artificial Intelligence 2003: 364-376 |
| 7 |  | Katarina Britz,
Johannes Heidema:
Semiring-Valued Satisfiability.
Australian Conference on Artificial Intelligence 2003: 402-413 |
| 2002 |
| 6 |  | Samir Chopra,
Johannes Heidema,
Thomas Andreas Meyer:
Some logics of belief and disbelief.
NMR 2002: 25-32 |
| 5 |  | Samir Chopra,
Johannes Heidema,
Thomas Andreas Meyer:
Some logics of belief and disbelief
CoRR cs.AI/0207037: (2002) |
| 4 |  | Thomas Andreas Meyer,
Johannes Heidema,
Willem Adrian Labuschagne,
Louise Leenen:
Systematic Withdrawal.
J. Philosophical Logic 31(5): 415-443 (2002) |
| 2000 |
| 3 |  | Johannes Heidema,
Isabella C. Burger:
Epistemic States Guiding the Rational Dynamics of Information.
PRICAI 2000: 275-285 |
| 2 |  | Thomas Andreas Meyer,
Willem Adrian Labuschagne,
Johannes Heidema:
Refined Epistemic Entrenchment.
Journal of Logic, Language and Information 9(2): 237-259 (2000) |
| 1 |  | Thomas Andreas Meyer,
Willem Adrian Labuschagne,
Johannes Heidema:
Infobase Change: A First Approximation.
Journal of Logic, Language and Information 9(3): 353-377 (2000) |