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.
2017
2017
Picturing the World from Within: Wittgenstein's Tractatus and the Limits of Sense
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… 
2013
2013
A Logic Prover Approach to Predicting Textual Similarity
This paper presents a logic prover approach to predicting textual similarity. Sentences are represented using three logic forms… 
2011
2011
An unsupervised method for learning probabilistic first order logic models from unstructured clinical text
We present a new unsupervised approach for learning probabilistic first order logic models from unstructured clinical text. We… 
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 
Review
2006
Review
2006
Review of Introduction to Coding Theory by Ron M. Roth
Roth’s book, based upon lecture notes for a course on coding theory that he has taught at Technion—Israel Institute of Technology… 
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…