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.
2018
2018
Errors in the logic of a program (sometimes referred to as semantic errors) can be very frustrating for novice programmers to… 
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… 
2014
2014
Unmanned Aerial Vehicles (UAVs) equipped with video cameras are a flexible support to ensure civil and military safety and… 
Highly Cited
2013
2012
2012
This paper presents improved architectures for a fused floating-point add-subtract unit. The fused floating-point add-subtract… 
Highly Cited
2010
Highly Cited
2010
In this paper, we tackle the problem of object detection and tracking in a new and challenging domain of wide area surveillance… 
Highly Cited
2006
Highly Cited
2006
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the… 
2002
2002
This article explores how race is understood within an explicitly class‐based movement, the Knights of Labor. The movement… 
Review
1992
Review
1992
  • J. Sowa
  • Knowl. Based Syst.
  • 1992
  • Corpus ID: 797728