A conceptual graph (CG) is a graph representation for logic based on the semantic networks
of artificial intelligence and the existential graphs of Charles Sanders Peirce. Several …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of
temporal logic as well as the crucial systematic questions within the field. The book studies …

Abstract Reasoning on queries is a basic problem both in knowledge representation and
databases. A fundamental form of reasoning on queries is checking containment, ie …

A conceptual graph (CG) is a graph representation for logic based on the semantic networks
of artificial intelligence and the existential graphs of Charles Sanders Peirce. The ISO …

A conceptual graph (CG) is a graph representation for logic based on the semantic networks
of artificial intelligence and the existential graphs of Charles Sanders Peirce. CG design …

Because human cognitive processes are very complex, the conceptual system that assists in
these mental operations or processes of thought is also expected to be extremely complex …

This is a copy of the draft proposed American National Standard (dpANS) as established
May 3, 1999. It is a draft, with many parts remaining to be completed. The most curent …

Although logic is general enough to describe anything that can be implemented on a digital
computer, the unreadability of predicate calculus makes it unpopular as a design language …

This article presents a proposal for the detection of programming source code similitude in
academic environments. The objective of this proposal is to provide support to professors in …