A Topological View of the Kowalski - Van Emden Theorem. - Anthony Karel Seda (Bull. EATCS, 1994)

Some Applications of General Topology To The Semantics of Logic Programms. - Anthony Karel Seda (Bull. EATCS, 1994)

Quasi-Metrics and Fixed Points in Computing. - Anthony Karel Seda (Bull. EATCS, 1996)

Quasi-Metrics and the Semantics of Logic Programs. - Anthony Karel Seda (Fundam. Informaticae, 1997)

Strictly Level-Decreasing Logic Programs. - Anthony Karel Seda; Pascal Hitzler (IWFM, 1998)

A Characterization of Acceptability. - Pascal Hitzler; Anthony Karel Seda (ICLP, 1999)

Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. - Pascal Hitzler; Anthony Karel Seda (IWFM, 1999)

Characterizations of Classes of Programs by Three-Valued Operators. - Pascal Hitzler; Anthony Karel Seda (LPNMR, 1999)

Acceptable Programs Revisited. - Pascal Hitzler; Anthony Karel Seda (Verification of Logic Programs@ICLP, 1999)

A Note on the Relationships Between Logic Programs and Neural Networks. - Pascal Hitzler; Anthony Karel Seda (IWFM, 2000)

On the Coincidence of Semantics for Uniquely Determined Programs. - Pascal Hitzler; Anthony Karel Seda (MFCSIT, 2000)

Preface. - Anthony Karel Seda (MFCSIT, 2000)

VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. - Pascal Hitzler; Anthony Karel Seda (IWFM, 2001)

On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs. - Anthony Karel Seda; Máire Lane (IWFM, 2003)

Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. - Pascal Hitzler; Anthony Karel Seda (KI, 2003)

Generalized metrics and uniquely determined logic programs. - Pascal Hitzler; Anthony Karel Seda (Theor. Comput. Sci., 2003)

On the Integration of Connectionist and Logic-Based Systems. - Anthony Karel Seda (MFCSIT, 2004)

Preface. - Anthony Karel Seda; Ted Hurley; Michel P. Schellekens; Mícheál Mac an Airchinnigh; Glenn Strong (MFCSIT, 2004)

Logic programs and connectionist networks. - Pascal Hitzler; Steffen Hölldobler; Anthony Karel Seda (J. Appl. Log., 2004)

Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. - Ekaterina Komendantskaya; Anthony Karel Seda (MFCSIT, 2006)

Properties of General Semantic Operators Determined by Logic-Based Systems. - Máire Lane; Anthony Karel Seda (MFCSIT, 2006)

Preface. - Anthony Karel Seda; Menouer Boubekeur; Ted Hurley; Mícheál Mac an Airchinnigh; Michel P. Schellekens; Glenn Strong (MFCSIT, 2006)

Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators. - Anthony Karel Seda (IWINAC (1), 2007)

Connectionist Representation of Multi-Valued Logic Programs. - Ekaterina Komendantskaya; Máire Lane; Anthony Karel Seda (Perspectives of Neural-Symbolic Integration, 2007)

Generalized Distance Functions in the Theory of Computation. - Anthony Karel Seda; Pascal Hitzler (Comput. J., 2010)

Mathematical Aspects of Logic Programming Semantics. - Pascal Hitzler; Anthony Karel Seda (CRC Press, 2011)

Preface. - Damien Woods; Turlough Neary; Anthony Karel Seda (Theor. Comput. Sci., 2011)