433 search results - page 1 / 87 » Description Logics in the Calculus of Structures |
DLOG
2007
15 years 1 months ago
2007
FSTTCS
2005
Springer
15 years 4 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
103
click to vote
CADE
2007
Springer
15 years 11 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
MST
2011
14 years 5 months ago
2011
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
100
click to vote
ACL
1989
14 years 12 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...