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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1991-2017
051019912017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We present an extension of the Heterogeneous Tool Set HETS that enables proof support for Common Logic. This is achieved via… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
2013
2013
Moving vehicle detection from wide area aerial surveillance is an important and challenging task, which can be aided by context… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 5
Is this relevant?
2012
2012
Vehicle detection in wide area motion imagery (WAMI) is an important problem in computer science, which if solved, supports urban… (More)
  • figure 2
  • figure 1
  • table II
  • table III
  • figure 3
Is this relevant?
2012
2012
In this paper, we propose a method for detecting humans and vehicles in imagery taken from a UAV. This is a challenging problem… (More)
Is this relevant?
2012
2012
Vehicle tracking using airborne wide-area motion imagery (WAMI) for monitoring urban environments is very challenging for current… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2011
2011
Visual tracking in wide area motion imagery (WAMI) is an important problem in security related tasks. The extremely low frame… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
This paper presents a standards-based approach to specifying and reasoning about metadata constraints based on existing metadata… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
The Common Logic (CL) ISO standard has been officially published and available. While its focus goes beyond the conceptual… (More)
  • figure 1
Is this relevant?
1996
1996
Based on empirical evidence from a free word order language (German) we propose a fundamental revision of the principles guiding… (More)
  • table 10
  • table 9
  • table 8
  • table 7
  • table 4
Is this relevant?