Anthony Karel Seda

According to our database, Anthony Karel Seda authored at least 27 papers between 1994 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2011

Preface.

Damien Woods, Turlough Neary, Anthony Karel Seda

Theor. Comput. Sci., 2011

Mathematical Aspects of Logic Programming Semantics.

Pascal Hitzler, Anthony Karel Seda

Chapman and Hall / CRC studies in informatics series, CRC Press, ISBN: 978-1-439-82961-5, 2011

2010

Generalized Distance Functions in the Theory of Computation.

Anthony Karel Seda, Pascal Hitzler

Comput. J., 2010

2007

Connectionist Representation of Multi-Valued Logic Programs.

Ekaterina Komendantskaya, Máire Lane, Anthony Karel Seda

Proceedings of the Perspectives of Neural-Symbolic Integration, 2007

Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators.

Anthony Karel Seda

Proceedings of the Bio-inspired Modeling of Cognitive Tasks, 2007

2006

Preface.

Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Properties of General Semantic Operators Determined by Logic-Based Systems.

Máire Lane, Anthony Karel Seda

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs.

Ekaterina Komendantskaya, Anthony Karel Seda

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

2004

Logic programs and connectionist networks.

Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda

J. Appl. Log., 2004

Preface.

Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

On the Integration of Connectionist and Logic-Based Systems.

Anthony Karel Seda

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

2003

Generalized metrics and uniquely determined logic programs.

Pascal Hitzler, Anthony Karel Seda

Theor. Comput. Sci., 2003

Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks.

Pascal Hitzler, Anthony Karel Seda

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs.

Anthony Karel Seda, Máire Lane

Proceedings of the 6th International Workshop on Formal Methods, 2003

2001

VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.

Pascal Hitzler, Anthony Karel Seda

Proceedings of the 5th Irish Workshop on Formal Methods, 2001

2000

Preface.

Anthony Karel Seda

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

On the Coincidence of Semantics for Uniquely Determined Programs.

Pascal Hitzler, Anthony Karel Seda

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

A Note on the Relationships Between Logic Programs and Neural Networks.

Pascal Hitzler, Anthony Karel Seda

Proceedings of the 4th Irish Workshop on Formal Methods, 2000

1999

Acceptable Programs Revisited.

Pascal Hitzler, Anthony Karel Seda

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Characterizations of Classes of Programs by Three-Valued Operators.

Pascal Hitzler, Anthony Karel Seda

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.

Pascal Hitzler, Anthony Karel Seda

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

A Characterization of Acceptability.

Pascal Hitzler, Anthony Karel Seda

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Strictly Level-Decreasing Logic Programs.

Anthony Karel Seda, Pascal Hitzler

Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

1997

Quasi-Metrics and the Semantics of Logic Programs.

Anthony Karel Seda

Fundam. Informaticae, 1997

1996

Quasi-Metrics and Fixed Points in Computing.

Anthony Karel Seda

Bull. EATCS, 1996

1994

Some Applications of General Topology To The Semantics of Logic Programms.

Anthony Karel Seda

Bull. EATCS, 1994

A Topological View of the Kowalski - Van Emden Theorem.

Anthony Karel Seda

Bull. EATCS, 1994