Sciweavers

433 search results - page 1 / 87
» Description Logics in the Calculus of Structures
Sort
View
56
Voted
DLOG
2007
15 years 4 days ago
Description Logics in the Calculus of Structures
Jean-David Roubach, Pascal Yim, Joaquin Rodriguez
FSTTCS
2005
Springer
15 years 3 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
CADE
2007
Springer
15 years 10 months ago
System Description: E-KRHyper
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...
Björn Pelzer, Christoph Wernhard
MST
2011
207views Hardware» more  MST 2011»
14 years 4 months ago
Fixpoint Logics over Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
ACL
1989
14 years 11 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
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...
Anuj Dawar, K. Vijay-Shanker