Sorry, we do not have enough data to show an influence graph for this author.
The development of programming as well as some studies in artiicial intelligence have produced their own conceptualizations used in the representation of tasks being solved and methods applied. This paper is an attempt at logic-like representation of a programming system, based on the open data model and object-oriented programming, earlier developed and… (More)
A system of formal reasoning, termed object-oriented logic (OOL), is presented which is based on the logical concepts present in modern computer programming and not related directly to predicate logic. It is expected to be eecient in deriving simple conclusions when information is centered around objects and in combining independently designed subsystems.… (More)