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… 
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 
2002
2002
Accurate Semantic Annotations via Pattern Matching
This paper addresses the problem of performing accurate semantic annotations in a large corpus. The task of creating a sense… 
2002
2002
High Performance Logic Form Transformation
This paper presents extensions to a previously developed logic form representation and a method for transforming WordNet glosses… 
1999
1999
Combining LAPIS and WordNet for Learning of LR Parsers with Optimal Semantic Constraints
There is a history of research focussed on learning of shift-reduce parsers from syntactically annotated corpora by the means of… 
1992
1992
Picosecond square pulse generation using nonlinear fibre loop mirror
Square pulses with controllable picosecond durations have been generated from a CW input signal in the region of 1.5 mu m by… 
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)