2911 search results - page 67 / 583 » A Logic of Graph Constraints |
124
click to vote
LATA
2009
Springer
15 years 7 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
96
Voted
VL
2007
IEEE
15 years 6 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
68
Voted
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
100
Voted
ICDM
2009
IEEE
15 years 7 months ago
2009
IEEE
