BibSonomy :: user  :: zeno ::

bookmarks

publications

• Encoding Plans in Propositional Logic.
  Henry A. Kautz and David A. McAllester and Bart Selman KR, page374-384. (1996)
  to 1996 planning satplan ais-07w by zeno and 1 other person on Jul 23, 2007, 2:10 PM
  URL | BibTeX | spam 
• The Design and an Experimental Analysis of Algorithms for Temporal Reasoning
  Peter van Beek and Dennis W. Manchak Journal of Artificial Intelligence Research(1996) ee = http://arxiv.org/pdf/cs/9601101 .
  to allen 1996 temporal interval-algebra qualitative-reasoning Temporal efficiency ais-07w by zeno on Jul 23, 2007, 1:47 PM
  URL | BibTeX | spam 
• Fast Algebraic Methods for Interval Constraint Problems
  Peter B. Ladkin and Alexander Reinefeld Annals of Mathematics and Artificial Intelligence19(3-4):383--411(1997)
  to allen 1996 reasoning temporal interval-algebra qualitative-reasoning efficiency by zeno and 1 other person on May 25, 2007, 2:01 PM
  BibTeX | spam 
• Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class
  Bernhard Nebel European Conference on Artificial Intelligence, page38--42. (1996)
  to allen 1996 reasoning temporal qualitative-reasoning tractable efficiency ord-horn by zeno and 1 other person on May 25, 2007, 2:01 PM
  URL | BibTeX | spam 
• GRASP -- A New Search Algorithm for Satisfiability
  J.P. Marques-Silva and K.A. Sakallah Int'l Conf. on CAD, page220--227. (1996)
  to 1996 SAT-solver by zeno on May 25, 2007, 1:58 PM
  BibTeX | spam 
• Das egoistische Gen
  Richard Dawkins Rowohlt, (1996)
  to 1996 translation popular german book by zeno on May 25, 2007, 1:52 PM
  BibTeX | spam 
• Neural Networks: A Systematic Introduction
  Raul Rojas Springer, (1996)
  to 1996 textbook neural-networks by zeno and 1 other person on May 25, 2007, 1:52 PM
  BibTeX | spam