On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. - Clint J. van Alten; James G. Raftery 001 (Reports Math. Log., 1997)

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. - Clint J. van Alten; James G. Raftery 001 (Stud Logica, 1999)

On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras. - Willem J. Blok; Clint J. van Alten (Reports Math. Log., 2000)

Residuation in Commutative Ordered Monoids with Minimal Zero. - James G. Raftery 001; Clint J. van Alten (Reports Math. Log., 2000)

Rule Separation and Embedding Theorems for Logics Without Weakening. - Clint J. van Alten; James G. Raftery 001 (Stud Logica, 2004)

The finite model property for knotted extensions of propositional linear logic. - Clint J. van Alten (J. Symb. Log., 2005)

Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. - James G. Raftery 001; Clint J. van Alten (Reports Math. Log., 2005)

Relational Representation Theorems for General Lattices with Negations. - Wojciech Dzik; Ewa Orlowska; Clint J. van Alten (RelMiCS, 2006)

Relational Representation Theorems for Lattices with Negations: A Survey. - Wojciech Dzik; Ewa Orlowska; Clint J. van Alten (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

On Varieties of Biresiduation Algebras. - Clint J. van Alten (Stud Logica, 2006)

Structural Completeness in Substructural Logics. - Jeffrey S. Olson; James G. Raftery 001; Clint J. van Alten (Log. J. IGPL, 2008)

Preservation theorems for MTL-chains. - Clint J. van Alten (Log. J. IGPL, 2011)

Modal MTL-algebras. - Wilmari Morton; Clint J. van Alten (Fuzzy Sets Syst., 2013)

An algebraic look at filtrations in modal logic. - Willem Conradie; Wilmari Morton; Clint J. van Alten (Log. J. IGPL, 2013)

Prelinear Algebras in Relatively Regular Quasivarieties. - Clint J. van Alten (Order, 2013)

Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras. - Clint J. van Alten (Theor. Comput. Sci., 2013)

Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. - Ivo Düntsch; Ewa Orlowska; Clint J. van Alten (Fuzzy Sets Syst., 2016)

Embedding Ordered Sets into Distributive Lattices. - Clint J. van Alten (Order, 2016)

The canonical FEP construction. - Wilmari Morton; Clint J. van Alten (J. Log. Comput., 2017)

Distributive and completely distributive lattice extensions of ordered sets. - Wilmari Morton; Clint J. van Alten (Int. J. Algebra Comput., 2018)

Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. - Dmitry Shkatov; Clint J. van Alten (CoRR, 2019)

Complexity of the Universal Theory of Modal Algebras. - Dmitry Shkatov; Clint J. van Alten (Stud Logica, 2020)

Computational complexity for bounded distributive lattices with negation. - Dmitry Shkatov; Clint J. van Alten (Ann. Pure Appl. Log., 2021)

Correction to: Complexity of the Universal Theory of Modal Algebras. - Dmitry Shkatov; Clint J. van Alten (Stud Logica, 2021)

Play-style Identification through Deep Unsupervised Clustering of Trajectories. - Branden Ingram; Benjamin Rosman; Clint J. van Alten; Richard Klein (CoG, 2022)

Improved Action Prediction through Multiple Model Processing of Player Trajectories. - Branden Ingram; Benjamin Rosman; Clint J. van Alten; Richard Klein (CoG, 2022)

Towards a Methodology for Addressing Missingness in Datasets, with an Application to Demographic Health Datasets. - Gift Khangamwa; Terence L. van Zyl; Clint J. van Alten (SACAIR, 2022)

Creating Diverse Play-Style-Centric Agents through Behavioural Cloning. - Branden Ingram; Clint J. van Alten; Richard Klein; Benjamin Rosman (AIIDE, 2023)

Highly connected dynamic artificial neural networks. - Clint J. van Alten (CoRR, 2023)

Complexity of the Universal Theory of Residuated Ordered Groupoids. - Dmitry Shkatov; Clint J. van Alten (J. Log. Lang. Inf., 2023)

Generating Interpretable Play-Style Descriptions Through Deep Unsupervised Clustering of Trajectories. - Branden Ingram; Clint J. van Alten; Richard Klein; Benjamin Rosman (IEEE Trans. Games, 2023)