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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The aim of this paper is to construct the new fundamental theorem of UP-algebras in the meaning of the congruence determined by a… 
2016
2016
The observed poor quality of graduates of some Nigerian Universities in recent times has been traced to non-availability of… 
2008
2008
This article proposes a qualitative analysis of a dialogue between two children solving the Tower of Hanoi problem. We know that… 
2007
2007
Este trabajo ha sido financiado parcialmente mediante el proyecto TIMOM (TIN2006-15265-C06-03), del Ministerio de Ciencia y… 
2007
2007
The article presents refutational resolution theorem proving system for Description Logic (DL) based on general (non-clausal… 
2002
2002
We present here a method for bracketing coordinated compound nouns in the larger context of deriving first order logic forms. The… 
2002
2002
This paper addresses the problem of performing accurate semantic annotations in a large corpus. The task of creating a sense… 
1999
1999
There is a history of research focussed on learning of shift-reduce parsers from syntactically annotated corpora by the means of… 
1992
1992
Square pulses with controllable picosecond durations have been generated from a CW input signal in the region of 1.5 mu m by…