Interpretation (logic)

Known as: Truth assignment, Structure of models, Interpretation 
An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1936-2017
010020019362016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
In computer science education, the analysis of source code with errors is of interest as programming errors may give a hint to… (More)
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We present an integrated approach to probabilistic independent component analysis (ICA) for functional MRI (FMRI) data that… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The concept of resilience has evolved considerably since Holling’s (1973) seminal paper. Different interpretations of what is… (More)
  • figure 1
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Results on input-output L/sub p/ stability of networked control systems (NCS) are presented for a large class of network… (More)
  • table I
  • table II
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Comparative analysis of RNA sequences is the basis for the detailed and accurate predictions of RNA structure and the… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We describe a computer vision system for observing facial motion by using an optimal estimation optical flow method coupled with… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
ATOM (Analysis Tools with OM) is a single framework for building a wide range of customized program analysis tools. It provides… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A new formalism is presented to reason about topological relations. It is applicable as a foundation for an algebra over… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
Is this relevant?
Highly Cited
1988
Highly Cited
1988
A novel logic is introduced for the introduction of nondeterministic and concurrent processes expressed in a process algebra. For… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
We prove that, for infinitely many disjunctive normal form propositional calculus tautologies ~:, the length of the shortest… (More)
Is this relevant?