Clint J. van Alten

J. Log. Lang. Inf., August, 2023

Highly connected dynamic artificial neural networks.

[BibT_eX]

[DOI]

CoRR, 2023

Creating Diverse Play-Style-Centric Agents through Behavioural Cloning.

[BibT_eX]

[DOI]

Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2023

2022

Towards a Methodology for Addressing Missingness in Datasets, with an Application to Demographic Health Datasets.

[BibT_eX]

[DOI]

Gift Khangamwa

Terence L. van Zyl

Proceedings of the Artificial Intelligence Research - Third Southern African Conference, 2022

Improved Action Prediction through Multiple Model Processing of Player Trajectories.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Games, CoG 2022, Beijing, 2022

Play-style Identification through Deep Unsupervised Clustering of Trajectories.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Games, CoG 2022, Beijing, 2022

2021

Correction to: Complexity of the Universal Theory of Modal Algebras.

[BibT_eX]

[DOI]

Stud Logica, 2021

Computational complexity for bounded distributive lattices with negation.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2021

2020

Complexity of the Universal Theory of Modal Algebras.

[BibT_eX]

[DOI]

Stud Logica, 2020

2019

Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Distributive and completely distributive lattice extensions of ordered sets.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2018

2017

The canonical FEP construction.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

2016

Embedding Ordered Sets into Distributive Lattices.

[BibT_eX]

[DOI]

Order, 2016

Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras.

[BibT_eX]

[DOI]

Ivo Düntsch

Ewa Orlowska

Fuzzy Sets Syst., 2016

2013

Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Prelinear Algebras in Relatively Regular Quasivarieties.

[BibT_eX]

[DOI]

Order, 2013

An algebraic look at filtrations in modal logic.

[BibT_eX]

[DOI]

Willem Conradie

Log. J. IGPL, 2013

Modal MTL-algebras.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2013

2011

Preservation theorems for MTL-chains.

[BibT_eX]

[DOI]

Log. J. IGPL, 2011

2008

Structural Completeness in Substructural Logics.

[BibT_eX]

[DOI]

Jeffrey S. Olson

Log. J. IGPL, 2008

2006

On Varieties of Biresiduation Algebras.

[BibT_eX]

[DOI]

Stud Logica, 2006

Relational Representation Theorems for Lattices with Negations: A Survey.

[BibT_eX]

[DOI]

Wojciech Dzik

Ewa Orlowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Relational Representation Theorems for General Lattices with Negations.

[BibT_eX]

[DOI]

Wojciech Dzik

Ewa Orlowska

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero.

[BibT_eX]

[DOI]

Reports Math. Log., 2005

The finite model property for knotted extensions of propositional linear logic.

[BibT_eX]

[DOI]

J. Symb. Log., 2005

2004

Rule Separation and Embedding Theorems for Logics Without Weakening.

[BibT_eX]

[DOI]

Stud Logica, 2004

2000

Residuation in Commutative Ordered Monoids with Minimal Zero.

[BibT_eX]

[DOI]

Reports Math. Log., 2000

On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras.

[BibT_eX]

[DOI]

Willem J. Blok

Reports Math. Log., 2000

1999

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.

[BibT_eX]

[DOI]

Stud Logica, 1999

1997

On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules.

[BibT_eX]

[DOI]