2911 search results - page 67 / 583 » A Logic of Graph Constraints |
LATA
2009
Springer
14 years 4 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...
VL
2007
IEEE
14 years 4 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...
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
ICDM
2009
IEEE
14 years 4 months ago
2009
IEEE
WADS
2009
Springer
14 years 4 months ago
2009
Springer
