2911 search results - page 67 / 583 » A Logic of Graph Constraints |
152
click to vote
LATA
2009
Springer
15 years 11 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...
134
click to vote
VL
2007
IEEE
15 years 10 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...
91
Voted
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
129
Voted
ICDM
2009
IEEE
15 years 10 months ago
2009
IEEE
