22 search results - page 5 / 5 » Disjunctive Feature Structures As Hypergraphs |
IJCAI
2007
13 years 6 months ago
2007
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...
DAGSTUHL
2001
13 years 6 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...