Skip to content
@ai-krml-uoft

UofT AI KR & ML Research

UofT AI Knowledge Representation and Reasoning & Machine Learning

AI-KRR&ML Group @ University of Toronto

This organization contains the various software and tools that have been developed at the group AI Kowledge Representation and Reasoning & Machine Learning Group at University of Toronto. Please check each particular repo for contact information.

Research Group Web Page: https://ai-krml-uoft.github.io/

Popular repositories Loading

  1. indigolog indigolog Public

    High-level programming language with incremental execution and local search

    Prolog 6 2

  2. .github .github Public

    KR Cognitive Robotics Group @ UofT

  3. ergo ergo Public

    Forked from ssardina/ergo

    ERGO Agent Programming Language

    Scheme

  4. golog golog Public

    Golog Interpreters

    Prolog

Repositories

Showing 4 of 4 repositories
  • indigolog Public

    High-level programming language with incremental execution and local search

    ai-krml-uoft/indigolog’s past year of commit activity
    Prolog 6 MIT 2 3 0 Updated Dec 27, 2024
  • .github Public

    KR Cognitive Robotics Group @ UofT

    ai-krml-uoft/.github’s past year of commit activity
    0 MIT 0 0 0 Updated Aug 6, 2024
  • golog Public

    Golog Interpreters

    ai-krml-uoft/golog’s past year of commit activity
    Prolog 0 0 0 0 Updated Jul 15, 2024
  • ergo Public Forked from ssardina/ergo

    ERGO Agent Programming Language

    ai-krml-uoft/ergo’s past year of commit activity
    Scheme 0 MIT 4 0 0 Updated Jun 4, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…