BibSonomy :: author  ::

bookmarks

publications

(9)

• Some logics of belief and disbelief.
  Samir Chopra and Johannes Heidema and Thomas Andreas Andreas Meyer NMR 25-32 (2002)
  to dblp by dblp and 1 other person on 2008-08-21 00:00:00
  | URL | BibTeX  
• Universality and programmability of quantum computers.
  Willem L. Fouché and Johannes Heidema and Glyn Jones and Petrus H. Potgieter Theor. Comput. Sci. 403 121-129 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• The challenge for genetic epidemiologists: how to analyze large numbers of SNPs in relation to complex diseases
  A Geert Heidema and Jolanda M A Boer and Nico Nagelkerke and Edwin C M Mariman and Daphne L {van der A} and Edith J M Feskens BMC Genetics 7 (2006)
  to algorithms, genetic programming by brazovayeye on 2008-06-19 17:35:00
  | URL | BibTeX  
• Some logics of belief and disbelief
  Samir Chopra and Johannes Heidema and Thomas Andreas Meyer CoRR cs.AI/0207037 (2002)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Semiring-Valued Satisfiability.
  Katarina Britz and Johannes Heidema Australian Conference on Artificial Intelligence 402-413 (2003)
  to dblp by dblp on 2004-01-19 00:00:00
  | URL | BibTeX  
• Some Logics of Belief and Disbelief.
  Samir Chopra and Johannes Heidema and Thomas Andreas Meyer Australian Conference on Artificial Intelligence 364-376 (2003)
  to dblp by dblp on 2004-01-19 00:00:00
  | URL | BibTeX  
• Epistemic States Guiding the Rational Dynamics of Information.
  Johannes Heidema and Isabella C. Burger PRICAI 275-285 (2000)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Infobase Change: A First Approximation.
  Thomas Andreas Meyer and Willem Adrian Labuschagne and Johannes Heidema Journal of Logic, Language and Information 9 353-377 (2000)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Refined Epistemic Entrenchment.
  Thomas Andreas Meyer and Willem Adrian Labuschagne and Johannes Heidema Journal of Logic, Language and Information 9 237-259 (2000)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX