Go Home
AI Repository Logo in GIF format


Knowledge Representation

This site is no longer being maintained.  Sorry.

[OUTLINE - TUTORIAL - TOOLS - RESOURCES - SUBMIT]



Freeware
Tools

  • COLAB: Knowledge Representation and Compilation Laboratory
    • Description: A knowledge representation system emphasizing the horizontal and vertical compilation of knowledge bases.
    • Platforms: UNIX (Requires Common LISP)
    • Source: CMU AI Repository.
    • Reference: Information available at CMU AI Repository.
    • Contact: Information available at CMU AI Repository.
  • Crack
    • Description: Crack is a description logic evaluator.
    • Platforms: Unknown
    • Source: The on-line evaluation program and program are found at Crack On-Line.
    • Reference: A paper describing Crack is also available at Crack On-Line.
    • Contact: Enrico Franconi.
  • KNOWBEL: Telos Temporal/Sorted Logic System
    • Description: A Common Lisp implementation of the Telos Knowledge Representation Language. It includes a frame-based object language with inheritance, a resolution theorem prover, and a temporal reasoner.
    • Platforms: UNIX (Requires Common LISP)
    • Source: CMU AI Repository.
    • Reference: Included in distribution
    • Contact: N/A
  • Loom Knowledge Representation System
  • RHETORICAL: Rochester Knowledge Tools Distribution
  • SNePS: A Logic-based Semantic Network Processing System
  • URANUS: Logic-Based Knowledge Representation Language
    • Description: A logic-based knowledge representation language.
    • Platforms: UNIX (Requires Common LISP)
    • Source: CMU AI Repository.
    • Reference: N/A
    • Contact: N/A
  • YAK

Submit

Submit a Knowledge Representation tool.

1996-2003. All rights reserved.
Last updated on Tuesday, April 13, 2004 04:07:38 PM.
Suggestion Box.

visitors since April 8, 1999 (counter provided by LinkExchange)