User: Anonymous Login

Main Menu > Browse Languages

Name
Arithmetic
DARPA Agent Markup Language (DAML)
Datalog
DIMACS CNF Format
English
Gerona
KM knowledge representation language
Knowledge Interchange Format (KIF)
N3
Proof Protocol for Deductive Reasoning (PPDR)
Resource Description Framework (RDF)
Temporal ordering relations on time points and the Allen relations on time intervals
Uima Logic

Copyright 2009 Inference Web group.
All Rights Reserved.