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
Tuesday, July 6, 2010
reasons for using Java/JVM
Clojure -- .NET lacks a good Lisp implementation.
Scala is OO + functional.
question: is Jython good/fast?
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment