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

Logic form

Known as: Formulation (logic), Logic forms 
Logic forms are simple, first-order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This paper presents a new active capacitor voltage balancing control method for the flying capacitor multicell (FCM) converters… Expand
  • figure 1
  • table I
  • figure 2
  • table II
  • table III
Is this relevant?
2015
2015
Group behavior interactions, such as multirobot teamwork and group communications in social networks, are widely seen in both… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Publisher Summary A search engine or a typical information retrieval (IR) system, such as Google, does not go far enough as it… Expand
  • figure 20.1
  • figure 20.2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present a system for deciding whether a given sentence can be inferred from text. Each sentence is represented as a directed… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2002
2002
We present here a method for bracketing coordinated compound nouns in the larger context of deriving first order logic forms. The… Expand
  • figure 1
  • table 1
  • table 3
  • table 2
Is this relevant?
2002
2002
Question Answering, the process of extracting answers to natural language questions is profoundly different from Information… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
WordNet is a rich source of world knowledge from which formal axioms can be derived. In this paper we present a method for… Expand
Is this relevant?
2001
2001
  • V. Rus
  • Proceedings 13th IEEE International Conference on…
  • 2001
  • Corpus ID: 17628153
This paper presents few extensions to the logic form representation and a method for transforming WordNet glosses into logic… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
  • Fischer
  • Symposium on VLSI Circuits
  • 1997
  • Corpus ID: 40635081
The logic and circuits are presented for a 20-entry instruction queue which scoreboards 80 registers and issues four instructions… Expand
  • figure 2
  • figure 4
Is this relevant?
1995
1995
This paper exploits the point of view of constraint programming as computation in a logical system, namely constraint logic. We… Expand
Is this relevant?