Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,744 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.
2018
2018
Évaluation de la gravité des pathologies hépatiques liées à l'alcool : étude rétrospective aux urgences adultes du CHU de Clermont-Ferrand
Louise Puret
2018
Corpus ID: 182059021
Introduction : L’alcool reste la principale cause d’hepatopathie chronique dont le cours evolutif est marque par des…
Expand
2017
2017
Two novel algorithms for wavefront reconstruction from pyramid sensor data: Convolution with Linearized Inverse Filter and Pyramid Fourier Transform Reconstructor
I. Shatokhina
,
V. 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
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
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
Solving, Reasoning, and Programming in Common Logic
Temur Kutsia
,
M. Marin
14th International Symposium on Symbolic and…
2012
Corpus ID: 8865580
Common Logic (CL) is a recent ISO standard for exchanging logic-based information between disparate computer systems. Sharing and…
Expand
2005
2005
Iglesia y cuestión social: la intervención de la Iglesia Católica en la construcción de demandas de educación, tierra y vivienda en el Gran Buenos Aires
Laura Santillán
,
Marcela Woods
2005
Corpus ID: 143989564
En este trabajo nuestro objetivo es analizar las modalidades de intervencion de agencias de la Iglesia Catolica en la…
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