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… 
2008
2008
Peer interaction and problem solving: One example of a logical-discursive analysis of a process of joint decision making
This article proposes a qualitative analysis of a dialogue between two children solving the Tower of Hanoi problem. We know that… 
2007
2007
Representación formal de la estructura lógica de sitios web, y su aplicación a un navegador web multilinge basado en diálogo
Este trabajo ha sido financiado parcialmente mediante el proyecto TIMOM (TIN2006-15265-C06-03), del Ministerio de Ciencia y… 
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… 
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… 
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… 
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)