Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge
representation, typically over infinite domains. The motivations for employing QSTR …

Computers arechanging the way wethink. Of course, nearly all desk-workers have access to
computers and use them to email their colleagues, search the Web for information and …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

Achieving success in modern industry requires the orchestration of the stakeholders of the
manufacturing process as well as accessing information distributed along the manufacturing …

We present a computational framework for conceptual blending, a concept invention method
that is advocated in cognitive science as a fundamental and uniquely human engine for …

Symbolic and logic computation systems ranging from computer algebra systems to theorem
provers are finding their way into science, technology, mathematics and engineering. But …

Leo-II is an automated theorem prover for classical higher-order logic. The prover has
pioneered cooperative higher-order–first-order proof automation, it has influenced the …

In this book the author's theoretical framework builds on linguistic and psychological
research, arguing that similar image-schematic notions should be grouped together into …

Image schemas are recognised as a fundamental ingredient in human cognition and
creative thought. They have been studied extensively in areas such as cognitive linguistics …

Abstract Mathematics is a ubiquitous foundation of science, technology, and engineering.
Specific areas of mathematics, such as numeric and symbolic computation or logics, enjoy …