Anthony Karel Seda

Pascal Hitzler, Anthony Karel Seda: Mathematical Aspects of Logic Programming Semantics. Chapman and Hall / CRC studies in informatics series, CRC Press 2011, isbn 978-1-439-82961-5, pp. I-XXX, 1-274

Damien Woods, Turlough Neary, Anthony Karel Seda: Preface. Theor. Comput. Sci. 412(1-2): 1 (2011)

Anthony Karel Seda, Pascal Hitzler: Generalized Distance Functions in the Theory of Computation. Comput. J. 53(4): 443-464 (2010)

Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 225: 1-2 (2009)

Ekaterina Komendantskaya, Anthony Karel Seda: Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. Electr. Notes Theor. Comput. Sci. 225: 141-159 (2009)

Máire Lane, Anthony Karel Seda: Properties of General Semantic Operators Determined by Logic-Based Systems. Electr. Notes Theor. Comput. Sci. 225: 181-194 (2009)

Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy (Eds.): Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008. EPTCS 1, 2009

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

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

Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 161: 1-2 (2006)

Anthony Karel Seda: On the Integration of Connectionist and Logic-Based Systems. Electr. Notes Theor. Comput. Sci. 161: 109-130 (2006)

Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda: Logic programs and connectionist networks. J. Applied Logic 2(3): 245-272 (2004)

Pascal Hitzler, Anthony Karel Seda: Generalized metrics and uniquely determined logic programs. Theor. Comput. Sci. 305(1-3): 187-219 (2003)

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

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

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

Anthony Karel Seda: Preface. Electr. Notes Theor. Comput. Sci. 40: 1-2 (2000)

Pascal Hitzler, Anthony Karel Seda: On the Coincidence of Semantics for Uniquely Determined Programs. Electr. Notes Theor. Comput. Sci. 40: 189-205 (2000)

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

Pascal Hitzler, Anthony Karel Seda: Acceptable Programs Revisited. Electr. Notes Theor. Comput. Sci. 30(1): 59-76 (1999)

Pascal Hitzler, Anthony Karel Seda: A Characterization of Acceptability. ICLP 1999: 609

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

Pascal Hitzler, Anthony Karel Seda: Characterizations of Classes of Programs by Three-Valued Operators. LPNMR 1999: 357-371

Anthony Karel Seda, Pascal Hitzler: Strictly Level-Decreasing Logic Programs. IWFM 1998

Anthony Karel Seda: Quasi-Metrics and the Semantics of Logic Programs. Fundam. Inform. 29(1-2): 97-117 (1997)

Anthony Karel Seda: Quasi-Metrics and Fixed Points in Computing. Bulletin of the EATCS 60: 154-163 (1996)

Anthony Karel Seda: Some Applications of General Topology To The Semantics of Logic Programms. Bulletin of the EATCS 52: 279-291 (1994)

Anthony Karel Seda: A Topological View of the Kowalski - Van Emden Theorem. Bulletin of the EATCS 53: 256-263 (1994)