41
42

Isolation, Infima and Diamond Embeddings

E-Article
43

Algorithmic Randomness of Closed Sets

E-Article
44

Unbounded Non-determinism in CSP

E-Article
45

Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates

E-Article
46

Automated Deduction with Shannon Graphs

E-Article
47
48
49

A Logic for Concepts and Similarity

E-Article
50
51

Logic for Ontology Engineering Corner

E-Article
52
53
54

Foundations of model construction in feature-based semantic science

E-Article
55

On the Properties of Metamodeling in OWL

E-Article
56

Forthcoming Papers

E-Article
57

Ramifications: An Extension and Correspondence Result for the Event Calculus

E-Article
58
59

On negation rationality

E-Article
60

Combining Soft Linear Logic and Spatio-temporal Operators

E-Article