We prove a characterization of all polynomial-time computable queries on the class of interval graphs by sentences of fixed-point logic with counting. More precisely, it is shown that on the class of ...

Graph pattern matching (GPM) in big graph has been widely used in decision making, such as expert finding, social group discovery, etc. However, these existing works consider neither the preference of ...

The startup XOPS is using artificial intelligence and ‘knowledge graphs’ to build a new platform for automating corporate IT departments, promising to get rid of ‘human middleware.’ ...