Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,993,733 papers from all fields of science
Search
Sign In
Create Free Account
Common Logic
Known as:
Conceptual Graph Interchange Format
, CLIF
, Common Logic Interchange Format
Expand
Common Logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Computer
Conceptual graph
First-order logic
Formal language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Two novel algorithms for wavefront reconstruction from pyramid sensor data: Convolution with Linearized Inverse Filter and Pyramid Fourier Transform Reconstructor
I. Shatokhina
,
Victoria Hutterer
,
R. Ramlau
2017
Corpus ID: 125866561
In this paper we present two novel algorithms for wavefront reconstruction from pyramid-type wavefront sensor data. Assuming a…
Expand
2016
2016
Object Detection in Wide Area Aerial Surveillance Imagery with Deep Convolutional Networks
G. Robinson
2016
Corpus ID: 9577454
Wide Area Aerial Surveilllance (WAAS) technology, alternatively called Wide Area Motion Imagery (WAMI), and Wide Area Persistent…
Expand
2015
2015
ELDERLY CARE IN SCANDINAVIA: MARKETIZATION AND LOCAL GOVERNING OF NURSING HOMES (*) DAVID FELTENIUS
2015
Corpus ID: 52841654
2014
2014
Predictors of early sexual debut among adolescents in North Norway
Jennifer Ahimbisibwe
2014
Corpus ID: 59020669
2012
2012
The CLIF Project: The Repository as Part of a Content Lifecycle
Richard Green
,
C. Awre
,
S. Waddington
2012
Corpus ID: 55618951
Introduction At the heart of meeting institutional needs for managing digital content is the need to understand the different…
Expand
2012
2012
Feature-based background registration in wide-area motion imagery
Yi Wu
,
Genshe Chen
,
Erik Blasch
,
Li Bai
,
Haibin Ling
Defense + Commercial Sensing
2012
Corpus ID: 121859123
Image registration in wide area motion imagery (WAMI) is a critical problem that is required for target tracking, image fusion…
Expand
2012
2012
If Logic, Definitions and the Vicious Circle Principle
J. Hintikka
Journal of Philosophical Logic
2012
Corpus ID: 437238
In a definition (∀x)((xєr)↔D[x]) of the set r, the definiens D[x] must not depend on the definiendum r. This implies that all…
Expand
2003
2003
MVSIS 2 . 0 Programmer ’ s Manual
Donald Chai
,
J. Jiang
,
Yunjian Jiang
,
Yinghua Li
,
A. Mishchenko
,
R. Brayton
2003
Corpus ID: 16593711
MVSIS is a logic synthesis system, which enhances traditional binary logic synthesis with capabilities related to multi-value…
Expand
2000
2000
a Novel Cycle-like Factor , Regulates the Circadian Oscillation of Plasminogen Activator Inhibitor-1 Gene Expression *
K. Maemura
,
S. Monte
,
+5 authors
Mu-En Lee
2000
Corpus ID: 32574237
The onset of myocardial infarction occurs frequently in the early morning, and it may partly result from circadian variation of…
Expand
1994
1994
Steady-State Pharmacokinetics of 2-Mercaptopropionylglycine (Tiopronin) in Healthy Volunteers and Patients with Cystinuria
M. Carlsson
,
T. Denneberg
,
B. Emanuelsson
,
B. Kågedal
,
S. Lindgren
1994
Corpus ID: 95620548
SummaryThe steady-state pharmacokinetics of tiopronin (2-mercaptopropionylglycine, 2-MPG), were studied in healthy volunteers…
Expand