Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Atomic formula

Known as: Atom (disambiguation), Atom (logic), Atomic 
In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that… Expand
Wikipedia

Papers overview

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