Topic Modeling is an approach used for automatic comprehension and classification of data
in a variety of settings, and perhaps the canonical application is in uncovering thematic …

A distributed anticipatory system formulation of knowledge acquisition and transfer
processes is presented which provides scientific foundations for knowledge engineering …

This paper generalizes many-sorted algebra (MSA) to order-sorted algebra (OSA) by
allowing a partial ordering relation on the set of sorts. This supports abstract data types with …

This paper discusses two main ideas, unwinding and inference control. While both concern
computer security, they are not closely related to each other. Unwinding is a verification …

This is an introduction to the philosophy and use of OBJ, emphasizing its oper-ational
semantics, with aspects of its history and its logical semantics. Release 2 of OBJ3 is …

Temn Rewriting Systems (TRS in short) are known to be a major tool for expressing non
deterministic computations, because they are based on directed equalltles, with no explicit …

1 Introduction 0~ 12 is a functional programming language with an underlying formal
semantics that is based upon equational logic, and an oprtationnl semantics that is based …

OBJ 3 is a new implementation of the OBJ language, with a new efficient operational
semantics based on order-sorted term-rewriting. OBJ is a declarative language, with …

Knowledge acquisition tools can be associated with knowledge-based application problems
and problem-solving methods. This descriptive approach provides a framework for …

This paper publicly reveals, motivates, and surveys the results of an ambitious hidden
agenda for applying algebra to software engineering. The paper reviews selected literature …