Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 25, 2025

• Merge pull request #13 from ngeiswei/rm-lte

  Show description for 6633184
  ngeiswei

  authored
  6633184

  Copy full SHA for 6633184

• Remove definitions of <= as it is now in the standard library

  ngeiswei

  committed
  645df7d

  Copy full SHA for 645df7d

Commits on Feb 4, 2025

• Merge pull request #12 from ngeiswei/modal-logic

  Show description for 79d716a
  ngeiswei

  authored
  79d716a

  Copy full SHA for 79d716a

• Add experiment doing modal reasoning with backward chainer

  ngeiswei

  committed
  0ac9e4c

  Copy full SHA for 0ac9e4c

• Improve type signature of foldr

  ngeiswei

  committed
  99744e6

  Copy full SHA for 99744e6

Commits on Jan 24, 2025

• Merge pull request #10 from ngeiswei/gen-cnd-comment

  Show description for f1809ac
  ngeiswei

  authored
  f1809ac

  Copy full SHA for f1809ac

• Improve comment

  ngeiswei

  committed
  e24d4eb

  Copy full SHA for e24d4eb

• Merge pull request #9 from ngeiswei/gen-cnd

  Show description for 14a3421
  ngeiswei

  authored
  14a3421

  Copy full SHA for 14a3421

• Add candidate generation part of evolutionary programming experiment

  ngeiswei

  committed
  25a861d

  Copy full SHA for 25a861d

• Merge pull request #8 from ngeiswei/evo-prg

  Show description for 3045b6b
  ngeiswei

  authored
  3045b6b

  Copy full SHA for 3045b6b

• Minor comment fix

  ngeiswei

  committed
  5a6397c

  Copy full SHA for 5a6397c

• Polish the example by adding a header comment and renaming vocabulary

  ngeiswei

  committed
  e249ca1

  Copy full SHA for e249ca1

• Complete evolutionary programming as reasoning prototype

  ngeiswei

  committed
  f2c67f9

  Copy full SHA for f2c67f9

Commits on Jan 22, 2025

• Add environment to evolutionary programming experiment

  ngeiswei

  committed
  40c3692

  Copy full SHA for 40c3692

Commits on Jan 15, 2025

• Add initial version of evoluationary programming experiment

  ngeiswei

  committed
  53c63bf

  Copy full SHA for 53c63bf

• Implement is-closed for n-ary expressions

  ngeiswei

  committed
  9ffbce1

  Copy full SHA for 9ffbce1

• Add no-depth experiment

  ngeiswei

  committed
  43999b5

  Copy full SHA for 43999b5

Commits on Jan 14, 2025

• Merge pull request #7 from ngeiswei/misc

  Show description for 300207a
  ngeiswei

  authored
  300207a

  Copy full SHA for 300207a

• Rename Z' by z and S' by s

  ngeiswei

  committed
  b2b4536

  Copy full SHA for b2b4536

• Move depth before query argument

  ngeiswei

  committed
  000ed8f

  Copy full SHA for 000ed8f

• Remove trailing space

  ngeiswei

  committed
  5c7dbb1

  Copy full SHA for 5c7dbb1

• Add README.md for implicit-argument experiment

  ngeiswei

  committed
  4aab732

  Copy full SHA for 4aab732

• Add implicit argument experiment stub

  ngeiswei

  committed
  6bba6d4

  Copy full SHA for 6bba6d4

• Move depth argument before query (cause it can be viewed as a parameter)

  ngeiswei

  committed
  81739bd

  Copy full SHA for 81739bd

• Add minor comment about uniq_

  ngeiswei

  committed
  0895daa

  Copy full SHA for 0895daa

• Fix minor typo

  ngeiswei

  committed
  9259bdb

  Copy full SHA for 9259bdb

Commits on Oct 29, 2024

• Rename S' and Z' by s and z

  ngeiswei

  committed
  7d183dc

  Copy full SHA for 7d183dc

Commits on Sep 20, 2024

• Merge pull request #6 from tanksha/dtl

  Show description for 05607cb
  ngeiswei

  authored
  05607cb

  Copy full SHA for 05607cb

Commits on Sep 12, 2024

• Added a newline at end of the file

  tanksha

  committed
  fec53cc

  Copy full SHA for fec53cc

• Binary Forward chainer DTL no-curry

  tanksha

  committed
  58b9469

  Copy full SHA for 58b9469

• rename function name to identify curried

  tanksha

  committed
  d0f6bba

  Copy full SHA for d0f6bba

• Test forward chaining no-curry

  tanksha

  committed
  dc6d39b

  Copy full SHA for dc6d39b

Commits on Sep 9, 2024

• chainer DTL module

  tanksha

  committed
  dfc5f9d

  Copy full SHA for dfc5f9d

Commits on Aug 28, 2024

• Merge pull request #5 from tanksha/main

  Show description for c12fab6
  ngeiswei

  authored
  c12fab6

  Copy full SHA for c12fab6

Commits on Aug 27, 2024

• Pass the knowlegde base space as an argument

  tanksha

  committed
  7321304

  Copy full SHA for 7321304

Pagination

Previous

Next