Skip to search formSkip to main contentSkip to account menu

Common Logic

Known as: Conceptual Graph Interchange Format, CLIF, Common Logic Interchange Format 
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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In this paper we present two novel algorithms for wavefront reconstruction from pyramid-type wavefront sensor data. Assuming a… 
2015
2015
The tracking of vehicles in wide area motion imagery (WAMI) can be a challenge due to the full and partial occlusions that can… 
2013
2013
Modularization is a key requirement to manage the size and complexity of large ontologies by replacing each one by a set of… 
2012
2012
Image registration in wide area motion imagery (WAMI) is a critical problem that is required for target tracking, image fusion… 
2012
2012
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… 
2006
2006
A novel logic design style for negative differential resistance (NDR) device based MOBILE circuits is introduced. Enjoying a… 
2003
2003
MVSIS is a logic synthesis system, which enhances traditional binary logic synthesis with capabilities related to multi-value… 
1994
1994
SummaryThe steady-state pharmacokinetics of tiopronin (2-mercaptopropionylglycine, 2-MPG), were studied in healthy volunteers…