 | 2009 |
|---|
| 11 |       | Katarina Britz,
Johannes Heidema,
Thomas Meyer:
Modelling Object Typicality in Description Logics.
Australasian Conference on Artificial Intelligence 2009: 506-516 |
| 10 | | Katarina Britz,
Johannes Heidema,
Tommie Meyer:
Modelling Object Typicality in Description Logics.
Description Logics 2009 |
| 2008 |
|---|
| 9 |  | Katarina Britz,
Johannes Heidema,
Thomas Meyer:
Semantic Preferential Subsumption.
KR 2008: 476-484 |
| 8 | | 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 |
|---|
| 7 | | Samir Chopra,
Johannes Heidema,
Thomas Andreas Meyer:
Some Logics of Belief and Disbelief.
Australian Conference on Artificial Intelligence 2003: 364-376 |
| 6 | | Katarina Britz,
Johannes Heidema:
Semiring-Valued Satisfiability.
Australian Conference on Artificial Intelligence 2003: 402-413 |
| 2002 |
|---|
| 5 | | Samir Chopra,
Johannes Heidema,
Thomas Andreas Andreas Meyer:
Some logics of belief and disbelief.
NMR 2002: 25-32 |
| 4 | | Samir Chopra,
Johannes Heidema,
Thomas Andreas Meyer:
Some logics of belief and disbelief
CoRR cs.AI/0207037: (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) |
