Anthony Karel Seda

Publication Activity (10 Years)

Years Active: 1994-2011
Publications (10 Years): 0

Publications

Damien Woods, Turlough Neary, Anthony Karel Seda
Preface. Theor. Comput. Sci. 412 (1-2) (2011)
Anthony Karel Seda, Pascal Hitzler
Generalized Distance Functions in the Theory of Computation. Comput. J. 53 (4) (2010)
Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong
Preface. Electron. Notes Theor. Comput. Sci. 225 (2009)
Ekaterina Komendantskaya, Anthony Karel Seda
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. Electron. Notes Theor. Comput. Sci. 225 (2009)
Máire Lane, Anthony Karel Seda
Properties of General Semantic Operators Determined by Logic-Based Systems. Electron. Notes Theor. Comput. Sci. 225 (2009)
Anthony Karel Seda
Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators. IWINAC (1) (2007)
Anthony Karel Seda
On the Integration of Connectionist and Logic-Based Systems. Electron. Notes Theor. Comput. Sci. 161 (2006)
Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong
Preface. Electron. Notes Theor. Comput. Sci. 161 (2006)
Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda
Logic programs and connectionist networks. J. Appl. Log. 2 (3) (2004)
Pascal Hitzler, Anthony Karel Seda
Generalized metrics and uniquely determined logic programs. Theor. Comput. Sci. 305 (1-3) (2003)
Pascal Hitzler, Anthony Karel Seda
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. KI (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
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. IWFM (2001)
Anthony Karel Seda
Preface. Electron. Notes Theor. Comput. Sci. 40 (2000)
Pascal Hitzler, Anthony Karel Seda
On the Coincidence of Semantics for Uniquely Determined Programs. Electron. Notes Theor. Comput. Sci. 40 (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. Electron. Notes Theor. Comput. Sci. 30 (1) (1999)
Pascal Hitzler, Anthony Karel Seda
A Characterization of Acceptability. ICLP (1999)
Pascal Hitzler, Anthony Karel Seda
Characterizations of Classes of Programs by Three-Valued Operators. LPNMR (1999)
Pascal Hitzler, Anthony Karel Seda
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. IWFM (1999)
Anthony Karel Seda, Pascal Hitzler
Strictly Level-Decreasing Logic Programs. IWFM (1998)
Anthony Karel Seda
Quasi-Metrics and the Semantics of Logic Programs. Fundam. Informaticae 29 (1-2) (1997)
Anthony Karel Seda
Quasi-Metrics and Fixed Points in Computing. Bull. EATCS 60 (1996)
Anthony Karel Seda
A Topological View of the Kowalski - Van Emden Theorem. Bull. EATCS 53 (1994)
Anthony Karel Seda
Some Applications of General Topology To The Semantics of Logic Programms. Bull. EATCS 52 (1994)