k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Kleene algebra with domain

Kleene, Rogers and Rice Theorems Revisited in C and in Bash

Knowledge bases over algebraic models. Some notes about informational equivalence

Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

Knowledge on Treelike Spaces

Knowledge Theoretic Properties of Topological Spaces

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

Knuth-Bendix constraint solving is NP-complete

Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes

Kolmogorov Complexity in perspective. Part II: Classification, Information Processing and Duality

Kripke Semantics for Martin-Löf's Extensional Type Theory