Semantic Scholar uses AI to extract papers important to this topic.
Embedding knowledge graphs into continuous vector spaces has recently attracted increasing interest. Most existing methods… Expand We survey results about static analysis of pattern-based queries over XML documents. These queries are analogs of conjunctive… Expand Predicate abstraction is a method of synthesizing the strongest inductive invariant of a system expressible as a Boolean… Expand The feature model is a domain/product-line oriented requirements model based on hierarchical structure and explicit variability… Expand This paper is part of a long-term effort to increase expressiveness of algebraic specification languages while at the same time… Expand The linear quantifier elimination algorithm for ordered fields in  is applicable to a wide range of examplee involving even… Expand The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic… Expand We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational… Expand Semantic and logical problems arising in an incomplete information database are investigated. A simple query language is… Expand Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The… Expand