Exploring fundamental research questions, Conceptual Structures in Practice takes you through the basic yet nontrivial task of establishing conceptual relations as the foundation for research in knowledge representation and knowledge mining. It includes contributions from leading researchers in both the conceptual graph and formal concept analysis (FCA) communities.

This accessible, self-contained book begins by providing the formal background in FCA and conceptual graphs. It then describes various software tools for analysis and computation, including the...

Covering the authors own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.

The book covers topics spanning the period from the early days of logic...

Exploring fundamental research questions, Conceptual Structures in Practice takes you through the basic yet nontrivial task of establishing conceptual relations as the foundation for research in knowledge representation and knowledge mining. It includes contributions from leading researchers in both the conceptual graph and formal concept analysis (FCA) communities.

This accessible, self-contained book begins by providing the formal background in FCA and conceptual graphs. It then describes various software tools for analysis and computation, including the...