About
Genifer
: The AGI / General Inference Engine (
Mailing-list
)
Blog Archive
►
2016
(1)
►
February
(1)
►
2015
(5)
►
May
(1)
►
April
(2)
►
March
(2)
►
2014
(8)
►
December
(3)
►
November
(2)
►
June
(1)
►
May
(1)
►
February
(1)
►
2013
(3)
►
May
(1)
►
January
(2)
►
2012
(10)
►
December
(1)
►
November
(5)
►
October
(2)
►
February
(2)
►
2011
(3)
►
July
(1)
►
June
(1)
►
May
(1)
▼
2010
(36)
►
September
(3)
►
August
(8)
▼
July
(18)
Current Design
Rule Combination
Causality
GOLOG
planning paradigms
Thoughts on Goals
Feature Matrix
Eliminating my HOL "Meta-Rules"
Prolog trick again
New design philosophy
Cobra implementation of Logic class
implementation: the "Logic" class
basic English
reasons for using .NET
reasons for using Java/JVM
HOL update
HOL, Paradox Free: a plan of attack, or two.
Porting Genifer LISP to Scala or Clojure, July 1st
►
June
(7)
Latex Maths
Monday, July 12, 2010
Feature Matrix
YKY has highlighted the modules essential to the Genifer prototype.
SeH has included many more features. Feel free to suggest more!
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment