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

Atomic sentence

Known as: Atomic proposition, Atomic propositions, Molecular sentence 
In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
This paper proposes an efficient and generalized decentralized monitoring algorithm allowing to detect satisfaction or violation… Expand
  • table 1
  • figure 3
  • table 2
  • table 3
  • table 4
Is this relevant?
2011
2011
Declarative workflow languages are easy for humans to understand and use for specifications, but difficult for computers to check… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
Is this relevant?
Highly Cited
2011
Highly Cited
2011
A caller must satisfy the callee’s precondition—that is, reach a state in which the callee may be called. Preconditions describe… Expand
  • figure 2
  • figure 5
  • figure 7
  • figure 6
  • table 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
  • F. Liu
  • 2008
  • Corpus ID: 143030336
characterization of product update Consider a tree-like structure E with possible events (or actions) and uncertainty relations… Expand
  • figure 4.8
  • figure 5.8
  • figure 6.5
  • figure 6.6
  • figure 6.8
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We describe and test computationally a branch-and-cut algorithm for solving inference problems in propositional logic. The… Expand
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper describes how to employ multi-terminal binary decision diagrams (MTBDDs) for the construction and analysis of a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
  • D. Song
  • Proceedings of the 12th IEEE Computer Security…
  • 1999
  • Corpus ID: 9716512
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that… Expand
  • figure 1
  • table 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Consider a polynomial-time prover holding a set of secrets. We describe how the prover can rapidly demonstrate any satisfiable… Expand
Is this relevant?
Highly Cited
1976
Highly Cited
1976
A new form of logic is described, originally developed for the formalization of physical theories, the essential feature being a… Expand
Is this relevant?