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

Well-formed formula

Known as: Layman Allen, Well-formed, Formula (logics) 
In mathematical logic, a well-formed formula, abbreviated wff, often simply formula, is a finite sequence of symbols from a given alphabet that is… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
The standard recurrent neural network language model (RNNLM) generates sentences one word at a time and does not work from an… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2016
Highly Cited
2016
This paper presents our recent work on the design and development of a new, large scale dataset, which we name MS MARCO, for… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2014
Highly Cited
2014
In this paper, we propose a novel neural network model called RNN Encoder‐ Decoder that consists of two recurrent neural networks… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Satisfiability Modulo Theories (SMT) is the problem of deciding satisfiability of a logical formula, expressed in a combination… Expand
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In this article we show how Optimality Theory yields a highly general Constraint Demotion principle for grammar learning. The… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Inorganic carbonate in soil occurs predominantly as the sparingly soluble alkaline-earth carbonates, calcite (CaCOs) and dolomite… Expand
  • table 15
  • table 15
  • figure 15-1
  • figure 1.5
  • figure 15-3
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Abstract Three paper-and-pencil measures were administered to students in fourth, sixth, and eighth grades to assess different… Expand
  • table 1
  • table 2
  • table 3
  • table 8
  • table 9
Is this relevant?
Highly Cited
1984
Highly Cited
1984
As part of an on-going project to understand the foundations of Knowledge Representation, we are attempting to characterize a… Expand
Is this relevant?