Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,299 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Broader (2)
Computational linguistics
Natural language processing
Database
EXtended WordNet
First-order logic
Natural language
Expand
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
Phakawat Mosrijai
,
A. Satirad
,
Aiyared Iampan
Fundamental Journal of Mathematics and…
2018
Corpus ID: 128098705
The aim of this paper is to construct the new fundamental theorem of UP-algebras in the meaning of the congruence determined by a…
Expand
2017
2017
Picturing the World from Within: Wittgenstein's Tractatus and the Limits of Sense
M. Sætre
2017
Corpus ID: 171436599
2016
2016
PREDICTING STUDENTS«¤?? GRADE SCORES USING TRAINING FUNCTIONS OF ARTIFICIAL NEURAL NETWORK
B. A. Kalejaye
,
O. Folorunso
,
O. L. Usman
2016
Corpus ID: 62974966
The observed poor quality of graduates of some Nigerian Universities in recent times has been traced to non-availability of…
Expand
2008
2008
Peer interaction and problem solving: One example of a logical-discursive analysis of a process of joint decision making
A. Trognon
,
C. Sorsana
,
M. Batt
,
Dominique Longin
European Journal of Developmental Psychology
2008
Corpus ID: 1181658
This article proposes a qualitative analysis of a dialogue between two children solving the Tower of Hanoi problem. We know that…
Expand
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
F. Santiago
,
Arturo Montejo-Ráez
,
Miguel Ángel García Cumbreras
Proces. del Leng. Natural
2007
Corpus ID: 44747553
Este trabajo ha sido financiado parcialmente mediante el proyecto TIMOM (TIN2006-15265-C06-03), del Ministerio de Ciencia y…
Expand
2007
2007
Non-clausal Resolution Theorem Proving for Description Logic
Hashim Habiballa
2007
Corpus ID: 13910763
The article presents refutational resolution theorem proving system for Description Logic (DL) based on general (non-clausal…
Expand
2002
2002
Bracketing Compound Nouns for Logic Form Derivation
V. Rus
,
D. Moldovan
,
Orest Bolohan
The Florida AI Research Society
2002
Corpus ID: 9877840
We present here a method for bracketing coordinated compound nouns in the larger context of deriving first order logic forms. The…
Expand
2002
2002
Accurate Semantic Annotations via Pattern Matching
Adrian Novischi
The Florida AI Research Society
2002
Corpus ID: 8085936
This paper addresses the problem of performing accurate semantic annotations in a large corpus. The task of creating a sense…
Expand
1999
1999
Combining LAPIS and WordNet for Learning of LR Parsers with Optimal Semantic Constraints
Dimitar Kazakov
International Conference on Inductive Logic…
1999
Corpus ID: 14139808
There is a history of research focussed on learning of shift-reduce parsers from syntactically annotated corpora by the means of…
Expand
1992
1992
Picosecond square pulse generation using nonlinear fibre loop mirror
D. U. Noske
,
N. Pandit
,
J. Taylor
1992
Corpus ID: 55422618
Square pulses with controllable picosecond durations have been generated from a CW input signal in the region of 1.5 mu m by…
Expand
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)
ACCEPT & CONTINUE