Titlebook: Information Systems and Artificial Intelligence: Integration Aspects; First Workshop, Ulm, Dimitris Karagiannis Conference proceedings 1991

枯燥

Negation in logic programming: A formalization in constructive logic,ver, it gives no easy or intuitive explanations for the treatment of negation. Logic Programming handles negation through the so-called “Negation as Failure” inference principle which is rather unconventional from the viewpoint of classical logic. Despite its nonclassical nature, this inference prin

FLEET

眼界

IVORY

Grandstand

An approach to DBS-based knowledge management,tigations that led to a DBS-based architecture for an effective and efficient management of large knowledge bases. This architecture, called KRISYS, is described, thereby concentrating on the mechanisms used to support the nearby application locality concept as well as to map knowledge structures on

lethargy

Terminological reasoning and information management,urpose is to automatically determine the location of a new concept description (or object description) in a partially ordered set of given concepts. It seems to be a promising approach to apply the techniques developed in this area to the development of new object-based database models. The main adv

strdulate

Thyroxine

Information analysis: A step by step clarification of knowledge and requirements,nly sharing databases, but also other techniques for coupling applications. Using application architecture, we can design a rough picture of applications and databases for planning purposes for the whole or parts of an enterprise. We propose refinement of this basic picture for specific applications

失败主义者

投票