Seda, Anthony Karel - Department of Mathematics, University College Cork

Advanced Search

Seda, Anthony Karel - Department of Mathematics, University College Cork

Some Properties of General Semantic Operators Maire Lane
A Characterization of Acceptability 1 Pascal Hitzler 2 and Anthony Karel Seda
Logic Programs and Connectionist Networks Pascal Hitzler
Analysis in the Semantics of Computation Anthony Karel Seda
On Kozen's Embedding and the Use of Analysis in the Semantics of Computation
Some Aspects of the Integration of Connectionist and Logic-Based Systems
On Approximation of the Semantic Operators Determined by Bilattice-Based Logic Programs
Logic Programs with Uncertainty: Neural Computation and Automated Reasoning
Declarative and Operational Semantics for Bilattice-Based Annotated Logic Programs
Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators
MFCSIT 2006 Properties of General Semantic Operators
Neural Networks and Minimal Fixed Point Semantics for Logic Programs
Generalized Distance Functions in the Theory of Computation Anthony Karel Seda
Continuity of Semantic Operators in Logic Programming and Their Approximation by
On Approximation in the Integration of Connectionist and Logic-Based Systems
MFCSIT 2004 Preliminary Version On the Integration of Connectionist and
meets LCF: Domain-Theoretic and Topological Aspects of VDM
Semantic Operators and Fixed-Point Theory in Logic Programming
Classes of Logic Programs which Possess Unique Supported Models
On the Coincidence of Semantics for Uniquely Determined Programs
Journal of ELECTRICAL ENGINEERING, VOL. 52, NO. 10/s, 2001, 3--6 A ``CONVERSE'' OF THE BANACH
Some Convergence Issues in Theoretical Computer Science Anthony Karel Seda
Computation of Normal Logic Programs by Fibring Neural Networks
MFCSIT 2006 Sound and Complete SLD-Resolution for
On the Measurability of the Semantic Operators Determined by Logic Programs