Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations

Broader (2)

Computational linguisticsNatural language processing
DatabaseEXtended WordNetFirst-order logicNatural language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The new UP-isomorphism theorems for UP-algebras in the meaning of the congruence determined by a UP-homomorphism
The aim of this paper is to construct the new fundamental theorem of UP-algebras in the meaning of the congruence determined by a… 
2017
2017
Picturing the World from Within: Wittgenstein's Tractatus and the Limits of Sense
2016
2016
PREDICTING STUDENTS«¤?? GRADE SCORES USING TRAINING FUNCTIONS OF ARTIFICIAL NEURAL NETWORK
The observed poor quality of graduates of some Nigerian Universities in recent times has been traced to non-availability of… 
2015
2015
Logical Analysis of Complex Network Searching
This article describes the relationship between network search space, search strategies and search logic with logical language… 
2007
2007
Non-clausal Resolution Theorem Proving for Description Logic
The article presents refutational resolution theorem proving system for Description Logic (DL) based on general (non-clausal… 
2007
2007
TEXT ENTAILMENT VERIFICATION WITH TEXT SIMILARITIES
. This paper presents a new method for recognizing the text entailment obtained from the text-to-text metric introduced in [3… 
2006
2006
Un sistema basado en conocimiento para el reconocimiento de Implicación Textual
Esta investigacion ha sido parcialmente financiada bajo los proyectos CICyT numero TIC2003-07158-C04-01 
2003
2003
The tide of history : Australian native title discourse in global perspective
Australian native-title law has many inconsistencies and contradictions. Emanating from the Mabo decision is the central… 
2001
2001
Pathway Graph Models for Molecular Computing in situ
1996
1996
Fuzzy Constraint Problems with General Aggregation Operations under Possibilistic Logic Form
In Fuzzy constraints satisfaction problem (FCSP), fuzzy constraints are aggregated by min operation into a fuzzy set membership… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)