Subsumption between queries to object-oriented databases

TL;DR: In this article, the problem of the incremental mining of sequential patterns when new transactions or new customers are added to an original database is considered, and a new algorithm for mining frequent sequences that uses information collected during an earlier mining process to cut down the cost of finding new sequential patterns in the updated database is presented.

TL;DR: A new algorithm for mining frequent sequences that uses information collected during an earlier mining process to cut down the cost of finding new sequential patterns in the updated database.

TL;DR: This book discusses Negation in Logic Programming, a Theory of Declarative Knowledge, and its Applications in Deductive Databases and Implementation, as well as other topics.

TL;DR: The KL-ONE family is introduced, an overview of current research is given, some of the systems that have been developed are described, and some future research directions are outlined.

TL;DR: This work provides a facility whereby a user defines a view as an SQL select expression, from which the system automatically derives set-oriented production rules that maintain a materialization of that view.

TL;DR: A unification-based, integrated natural language processing system, S L Lytinen's "descriptive" component of a hybrid knowledge representation language, and a design approach for constructing engineering scenario maps.