Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 13, 2024

• Merge pull request #104 from ngeiswei/subtyping

  Show description for 99b9bb7
  ngeiswei

  authored
  99b9bb7

Commits on Aug 2, 2024

• Add reduction rules to speed up synthesis

  ngeiswei

  committed
  d186186

Commits on Aug 1, 2024

• Add actual figures

  ngeiswei

  committed
  92b0af9

• Add figs to README.md

  ngeiswei

  committed
  aab5bfc

• Add scaled down English to Chinese song experiment

  ngeiswei

  committed
  83fcefa

Commits on Jul 25, 2024

• Add English to Chinese song AI composition with synthesis

  ngeiswei

  committed
  98fd29e

• Fix DTL versions of Engilsh to Chinese song AI service composition

  ngeiswei

  committed
  5ef49bf

• Update AI service composition experiment README.md

  ngeiswei

  committed
  06f8954

• Fix technical report links

  ngeiswei

  committed
  d9532b5

Commits on Jun 28, 2024

• Add note about not working with minimal metta

  ngeiswei

  committed
  aea4ddf

• Update README.md

  ngeiswei

  committed
  ff2ed5e

• Add acrobatic attempt to specify property about mixing

  ngeiswei

  committed
  7c8f512

Commits on Jun 27, 2024

• Complete DTL all-the-way experiment

  ngeiswei

  committed
  20b5044

Commits on Jun 26, 2024

• Add english-to-chinese-song-dtl-atw-ontology-xp.metta

  ngeiswei

  committed
  627bc32

• Test remove-type-annotation

  ngeiswei

  committed
  c5a4287

Commits on Jun 21, 2024

• Fix DTL version of AI service composition

  ngeiswei

  committed
  54f3e96

Commits on Jun 19, 2024

• Add initial DTL ontology version

  ngeiswei

  committed
  9696725

• Fix coercion

  ngeiswei

  committed
  e5c8d26

Commits on Jun 13, 2024

• Improve README.md

  ngeiswei

  committed
  4a816d8

• Remove extraneous comments

  ngeiswei

  committed
  9e37ac4

• Add README.md to ontology experiments

  ngeiswei

  committed
  eb18fff

• Implement English to Chinese song experiment with moderate ontology

  ngeiswei

  committed
  9af11d4

• Rename MIDI to MusicalInstrumentDigitalInterface

  ngeiswei

  committed
  121f5ad

Commits on Jun 7, 2024

• Add experiment using a simple ontology (no need to reason about subtype)

  ngeiswei

  committed
  03be365

• Simplify symbol names in English to Chinese song experiment

  ngeiswei

  committed
  501189d

Commits on Jun 6, 2024

• Complete type checking the English to Chinese singing AI service composition

  ngeiswei

  committed
  dda3cb4

Commits on Feb 22, 2024

• Add English to Chinese song manual composition

  ngeiswei

  committed
  a63a8ca

Commits on Feb 15, 2024

• Add metta definition of English to Chinese song service composition

  ngeiswei

  committed
  0d8a63c

• Add useful constants

  ngeiswei

  committed
  31ef631

Commits on Feb 9, 2024

• Towards complete the English to Chinese xp with primitive types

  ngeiswei

  committed
  048e24c

• Update English to Chinese services + add missing ones

  ngeiswei

  committed
  bbab9be

• Minor fix in snet crawler doc

  ngeiswei

  committed
  4676fa6

• Add command line in header comment

  ngeiswei

  committed
  7c8bf8d

Commits on Feb 2, 2024

• Add initial English to Chinese song service composition experiment

  ngeiswei

  committed
  410c565

• Update README.md according to snet update

  ngeiswei

  committed
  b2c9ff0

Pagination

PreviousNext