Directory | Tags | Index | LinkIt | Submit   | Help
    Thursday, 24 July 2014 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Language Extensions

View the dependency graph for this library

Opt
Created by stuart on: Sat, 06 May 2006 02:05:46 GMT, Last modification: Sat, 06 May 2006 02:05:46 GMT

language based on type theory

eMail
Web sitehttp://www.cs.yale.edu/homes/dvm/
Mailing list
Version1.6.25 - Thursday, 29 December 2005
MaturityExperimental
OS compatibility
ASDF installableNo
Official Downloadftp://ftp.cs.yale.edu/pub/mcdermott/software/opt.tar.gz
Mirrored Download
Source code repository

Opt (version 1.6.25, 2005-12-29) [Ontology with Polymorphic Types] is a KR language based on type theory. Comes with detailed manual for the language, not so detailed documentation on how to use it. Includes parallel directory lisplang. It's fully compatible with recent versions of PDDL. (That is, it has that as a goal. Version 1.6.11 doesn't have absolutely the latest features.) Depends on Nity.

Required Libraries  View graph

YTools

Authors and Maintainers

Drew McDermott

Tags

Language Extensions

0 Notes and 0 comments

0 Notes

You must be logged to add a note


0 Comments

You must be logged to add a comment