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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Wedefine a logicD capable of expressing dependence of a variable on designated variables only. Thus D has similar goals to the… (More)
Is this relevant?
2009
2009
MAIN TEXT A natural temporal extension of the relational calculus allows explicit variables and quantification over a given time… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Norms (permissions, obligations and prohibitions) offer a useful and powerful abstraction with which to capture social… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The solution to get this book is that we don't over you the free book. But, we offer you the free information about principles of… (More)
Is this relevant?
2007
2007
ion and Refinement The reasons that ontologies are altered are very often concerned with the fact that too much or, more often… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2005
2005
A detailed implementation of the Tabu Search (TS) algorithm for computer-aided molecular design (CAMD) of transition metal… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
1999
1999
Atomic components are sets of related variables, types, and subprograms, e.g., abstract data types and objects. Many techniques… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1999
1999
full reachability in Table 2. The time taken to perform model checking for all the cases are listed in Table 5. We found that… (More)
  • table 6
  • table 7
  • table 8
  • table 5
  • table 4
Is this relevant?
1998
1998
We present Logical Description Grammar (LDG), a model of grammar and the syntax-semantics interface based on descriptions in… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational… (More)
Is this relevant?