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

Related topics

Related topics

9 relations

Broader (2)

Computational linguisticsNatural language processing
DatabaseEXtended WordNetFirst-order logicNatural language
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
New Active Capacitor Voltage Balancing Method for Flying Capacitor Multicell Converter Based on Logic-Form-Equations
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
Formalization and Verification of Group Behavior Interactions
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
Knowledge Representation and Question Answering
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
Robust Textual Inference via Graph Matching
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
Bracketing Compound Nouns for Logic Form Derivation
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
On the Role of Information Retrieval and Information Extraction in Question Answering Systems
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
Logic Form Transformation of WordNet and its Applicability to Question Answering
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
High precision logic form transformation
  • 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
Issue Logic For A 600 MHz Out-of-order Execution
  • 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
A Category-Based Equational Logic Semantics to Constraint Programming
This paper exploits the point of view of constraint programming as computation in a logical system, namely constraint logic. We… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE