Anthony Karel Seda

32 papers B 2Misc 1Journal 8Unranked 14
YearRankTypeTitle / Venue / Authors
2011 — book
Mathematical Aspects of Logic Programming Semantics.
Pascal Hitzler, Anthony Karel Seda
2011 J jnl
Preface.
Theor. Comput. Sci.
Damien Woods, Turlough Neary, Anthony Karel Seda
2010 J jnl
Generalized Distance Functions in the Theory of Computation.
Comput. J.
Anthony Karel Seda, Pascal Hitzler
2009 — ed.
Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008.
CSP
Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy
2009 — ed.
Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006
MFCSIT
Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong
2007 — ch.
Connectionist Representation of Multi-Valued Logic Programs.
Perspectives of Neural-Symbolic Integration
Ekaterina Komendantskaya, Máire Lane, Anthony Karel Seda
2007 — conf
Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators.
IWINAC (1)
Anthony Karel Seda
2006 — conf
Preface.
MFCSIT
Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong
2006 — ed.
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2004, Dublin, Ireland, July 22-23, 2004
MFCSIT
Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong
2006 — conf
Properties of General Semantic Operators Determined by Logic-Based Systems.
MFCSIT
Máire Lane, Anthony Karel Seda
2006 — conf
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs.
MFCSIT
Ekaterina Komendantskaya, Anthony Karel Seda
2004 J jnl
Logic programs and connectionist networks.
J. Appl. Log.
Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda
2004 — conf
On the Integration of Connectionist and Logic-Based Systems.
MFCSIT
Anthony Karel Seda
2004 — conf
Preface.
MFCSIT
Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong
2003 Misc conf
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks.
KI
Pascal Hitzler, Anthony Karel Seda
2003 J jnl
Generalized metrics and uniquely determined logic programs.
Theor. Comput. Sci.
Pascal Hitzler, Anthony Karel Seda
2003 — conf
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs.
IWFM
Anthony Karel Seda, Máire Lane
2003 — ed.
Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2002, Galway, Ireland, July 18-19, 2002
MFCSIT
Sharon Flynn, Ted Hurley, Mícheál Mac an Airchinnigh, Niall Madden, Michael McGettrick, Michel P. Schellekens, Anthony Karel Seda
2001 — conf
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.
IWFM
Pascal Hitzler, Anthony Karel Seda
2000 — conf
A Note on the Relationships Between Logic Programs and Neural Networks.
IWFM
Pascal Hitzler, Anthony Karel Seda
2000 — ed.
First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000
MFCSIT
Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Anthony Karel Seda
2000 — conf
On the Coincidence of Semantics for Uniquely Determined Programs.
MFCSIT
Pascal Hitzler, Anthony Karel Seda
2000 — conf
Preface.
MFCSIT
Anthony Karel Seda
1999 B conf
A Characterization of Acceptability.
ICLP
Pascal Hitzler, Anthony Karel Seda
1999 — conf
Acceptable Programs Revisited.
Verification of Logic Programs@ICLP
Pascal Hitzler, Anthony Karel Seda
1999 B conf
Characterizations of Classes of Programs by Three-Valued Operators.
LPNMR
Pascal Hitzler, Anthony Karel Seda
1999 — conf
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.
IWFM
Pascal Hitzler, Anthony Karel Seda
1998 — conf
Strictly Level-Decreasing Logic Programs.
IWFM
Anthony Karel Seda, Pascal Hitzler
1997 J jnl
Quasi-Metrics and the Semantics of Logic Programs.
Fundam. Informaticae
Anthony Karel Seda
1996 J jnl
Quasi-Metrics and Fixed Points in Computing.
Bull. EATCS
Anthony Karel Seda
1994 J jnl
A Topological View of the Kowalski - Van Emden Theorem.
Bull. EATCS
Anthony Karel Seda
1994 J jnl
Some Applications of General Topology To The Semantics of Logic Programms.
Bull. EATCS
Anthony Karel Seda