Knowledge representation is at the very core of a radical idea for understanding intelligence.
Instead of trying to understand or build brains from the bottom up, its goal is to understand …

This book aims to synthesize different directions in knowledge studies into a unified theory of
knowledge and knowledge processes. It explicates important relations between knowledge …

Models and theories are of central importance in science, and scientists spend substantial
amounts of time building, testing, comparing and revising models and theories. It is therefore …

This dissertation explores the formal flexibility of syntactic categories. The main proposal is
that Universal Grammar (UG) only provides templatic guidance for syntactic category …

A logic for specifying and reasoning about object classes and their instances (aspects) is
presented and illustrated. This logic is an extension of a rather standard linear temporal …

Classical logic is the appropriate formal language for describing mathematical structures
containing a single universe or domain of discourse. By contrast, many-sorted logic (MSL) …

A useful strategy for improving disaster risk management is sharing spatial data across
different technical organizations using shared information systems. However, the …

CASL — THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE: SEMANTICS AND
PROOF THEORY Till Mossakowski Anne E. Haxthausen Donald Sann Page 1 Computing and …

Abstract Information modeling (also known as conceptual modeling or semantic data
modeling) may be characterized as the formulation of a model in which information aspects …

This article is a contribution to the model theory of non-classical first-order predicate logics.
In a wide framework of first-order systems based on algebraizable logics, we study several …