Clint J. van Alten

34 papers C 2Journal 28Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Atomic Boolean Lattice Completions of Ordered Sets. Order Wilmari Morton, Clint J. van Alten
2025	J	`jnl`	Polynomial-time Equational Theory for Lattices with Unary Operators. Order Clint J. van Alten
2023	J	`jnl`	Complexity of the Universal Theory of Residuated Ordered Groupoids. J. Log. Lang. Inf. Dmitry Shkatov, Clint J. van Alten
2023	—	`conf`	Creating Diverse Play-Style-Centric Agents through Behavioural Cloning. AIIDE Branden Ingram, Clint J. van Alten, Richard Klein, Benjamin Rosman
2023	J	`jnl`	Generating Interpretable Play-Style Descriptions Through Deep Unsupervised Clustering of Trajectories. IEEE Trans. Games Branden Ingram, Clint J. van Alten, Richard Klein, Benjamin Rosman
2023	J	`jnl`	Highly connected dynamic artificial neural networks. CoRR Clint J. van Alten
2022	C	`conf`	Improved Action Prediction through Multiple Model Processing of Player Trajectories. CoG Branden Ingram, Benjamin Rosman, Clint J. van Alten, Richard Klein
2022	C	`conf`	Play-style Identification through Deep Unsupervised Clustering of Trajectories. CoG Branden Ingram, Benjamin Rosman, Clint J. van Alten, Richard Klein
2022	—	`conf`	Towards a Methodology for Addressing Missingness in Datasets, with an Application to Demographic Health Datasets. SACAIR Gift Khangamwa, Terence L. van Zyl, Clint J. van Alten
2022	J	`jnl`	Towards a methodology for addressing missingness in datasets, with an application to demographic health datasets. CoRR Gift Khangamwa, Terence L. van Zyl, Clint J. van Alten
2021	J	`jnl`	Computational complexity for bounded distributive lattices with negation. Ann. Pure Appl. Log. Dmitry Shkatov, Clint J. van Alten
2021	J	`jnl`	Correction to: Complexity of the Universal Theory of Modal Algebras. Stud Logica Dmitry Shkatov, Clint J. van Alten
2020	J	`jnl`	Complexity of the Universal Theory of Modal Algebras. Stud Logica Dmitry Shkatov, Clint J. van Alten
2019	J	`jnl`	Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. CoRR Dmitry Shkatov, Clint J. van Alten
2018	J	`jnl`	Distributive and completely distributive lattice extensions of ordered sets. Int. J. Algebra Comput. Wilmari Morton, Clint J. van Alten
2017	J	`jnl`	The canonical FEP construction. J. Log. Comput. Wilmari Morton, Clint J. van Alten
2016	J	`jnl`	Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. Fuzzy Sets Syst. Ivo Düntsch, Ewa Orlowska, Clint J. van Alten
2016	J	`jnl`	Embedding Ordered Sets into Distributive Lattices. Order Clint J. van Alten
2013	J	`jnl`	An algebraic look at filtrations in modal logic. Log. J. IGPL Willem Conradie, Wilmari Morton, Clint J. van Alten
2013	J	`jnl`	Modal MTL-algebras. Fuzzy Sets Syst. Wilmari Morton, Clint J. van Alten
2013	J	`jnl`	Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras. Theor. Comput. Sci. Clint J. van Alten
2013	J	`jnl`	Prelinear Algebras in Relatively Regular Quasivarieties. Order Clint J. van Alten
2011	J	`jnl`	Preservation theorems for MTL-chains. Log. J. IGPL Clint J. van Alten
2008	J	`jnl`	Structural Completeness in Substructural Logics. Log. J. IGPL Jeffrey S. Olson, James G. Raftery, Clint J. van Alten
2006	J	`jnl`	On Varieties of Biresiduation Algebras. Stud Logica Clint J. van Alten
2006	—	`conf`	Relational Representation Theorems for General Lattices with Negations. RelMiCS Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
2006	—	`ch.`	Relational Representation Theorems for Lattices with Negations: A Survey. Theory and Applications of Relational Structures as Knowledge Instruments Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
2005	J	`jnl`	Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. Reports Math. Log. James G. Raftery, Clint J. van Alten
2005	J	`jnl`	The finite model property for knotted extensions of propositional linear logic. J. Symb. Log. Clint J. van Alten
2004	J	`jnl`	Rule Separation and Embedding Theorems for Logics Without Weakening. Stud Logica Clint J. van Alten, James G. Raftery
2000	J	`jnl`	On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras. Reports Math. Log. Willem J. Blok, Clint J. van Alten
2000	J	`jnl`	Residuation in Commutative Ordered Monoids with Minimal Zero. Reports Math. Log. James G. Raftery, Clint J. van Alten
1999	J	`jnl`	The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Stud Logica Clint J. van Alten, James G. Raftery
1997	J	`jnl`	On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. Reports Math. Log. Clint J. van Alten, James G. Raftery