ArcGIS: General Purpose GIS Software System

2020 ◽  
Author(s):  
D. G. Ksenofontov ◽  
V. N. Kostin ◽  
M. N. Atlasov

Author(s):  
Troels Andreasen ◽  
Henrik Bulskov ◽  
Jørgen Fischer Nilsson

This paper describes principles and structure for a software system that implements a dialect of natural logic for knowledge bases. Natural logics are formal logics that resemble stylized natural language fragments, and whose reasoning rules reflect common-sense reasoning. Natural logics may be seen as forms of extended syllogistic logic. The paper proposes and describes realization of deductive querying functionalities using a previously specified natural logic dialect called Natura-Log. In focus here is the engineering of an inference engine employing as a key feature relational database operations. Thereby the inference steps are subjected to computation in bulk for scaling-up to large knowledge bases. Accordingly, the system eventually is to be realized as a general-purpose database application package with the database being turned logical knowledge base.


1973 ◽  
Vol 6 (4) ◽  
pp. 237
Author(s):  
Liz Gibson

<p class="p1">The BIBCON file <span class="s1">management </span>system, designed for use <span class="s1">on </span>IBM 360 <span class="s1">sys</span>tem <span class="s1">equipment, </span>performs two basic functions: (1) it creates MARC <span class="s1">struc</span>tured, bibliographic records from untagged input data; (2) from these records it produces page image output for book catalogs. The system accepts data from several different input <span class="s1">devices </span>and can produce a <span class="s1">variety </span>of <span class="s1">output </span>formats by line printer, photocomposition, <span class="s1">or computer </span>output microform (COM).</p>


1996 ◽  
Vol 11 (4) ◽  
pp. 209-219 ◽  
Author(s):  
T.V. Hromadka ◽  
C.C. Yen

Author(s):  
Vladimir Balabanov ◽  
Christophe Charpentier ◽  
Dipankar Ghosh ◽  
Gary Quinn ◽  
Garret Vanderplaats ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document