A. Seda

发表

Logic programs and connectionist networks

Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda, 2004, J. Appl. Log..

Semantic Operators and Fixed-Point Theory in Logic Programming

P. Hitzler, A. Seda, 2001 .

A "Converse" of the Banach Contraction Mapping Theorem

P. Hitzler, A. Seda, 2001 .

Topology And The Semantics Of Logic Programs

A. Seda, 1995 .

Some Aspects of the Integration of Connectionist and Logic-Based Systems †

A. Seda, M. Lane, 2006 .

Informatique Th Eorique/computer Science on Locally Stratiied Logic Programs

A. Seda, Pascal HitzlerR, Anthony Karel Seda, 2007 .

11 Connectionist Representation of Multi-Valued Logic Programs

A. Seda, M. Lane, E. Komendantskaya, 2007 .

On the Measurability of the Semantic Operators Determined by Logic Programs

A. Seda, M. Lane, 2005 .

The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2002 .

Some Mathematical Aspects of InformationTechnology : Fixed Points and the Formal Semanticsof Programming Languages

A. Seda, 1996 .

Continuity of Semanti Operators in Logi Programming and Their Approximation byArti ial Neural

A. Seda, NetworksPas al Hitzler, 2003 .

Generalized Distance Functions in the Theory of Computation

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2010, Comput. J..

Convergence Classes and Spaces of Partial Functions

P. Hitzler, A. Seda, Roland Heinze, 2003 .

Supported Model Semantics

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2010 .

Topology and Logic Programming

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2010 .

Analysis in the Semantics of Computation

A. Seda, 2004 .

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

Ekaterina Komendantskaya, Anthony Karel Seda, A. Seda, 2006, MFCSIT.

On Approximation of the Semantic Operators Determined by Bilattice-Based Logic Programs

Ekaterina Komendantskaya, Anthony Karel Seda, Vladimir Komendantsky, 2005 .

Generalized metrics and uniquely determined logic programs

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2003, Theor. Comput. Sci..

On the Coincidence of Semantics for Uniquely Determined Programs

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2001, MFCSIT.

Connectionist Representation of Multi-Valued Logic Programs

Ekaterina Komendantskaya, Anthony Karel Seda, Máire Lane, 2007, Perspectives of Neural-Symbolic Integration.

Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 1999, IWFM.

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

Anthony Karel Seda, A. Seda, 2007, IWINAC.

On the Integration of Connectionist and Logic-Based Systems

Anthony Karel Seda, A. Seda, 2006, MFCSIT.

Logic Programs with Uncertainty: Neural Computation and Automated Reasoning

Ekaterina Komendantskaya, Anthony Karel Seda, A. Seda, 2006 .

Computation of Normal Logic Programs by Fibring Neural Networks

Anthony Karel Seda, Vladimir Komendantsky, A. Seda, 2005 .

On Approximation in the Integration of Connectionist and Logic-Based Systems

Anthony Karel Seda, A. Seda, M. Lane, 2004 .

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

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2003, KI.

A Note on the Relationships Between Logic Programs and Neural Networks

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2000, IWFM.

Characterizations of Classes of Programs by Three-Valued Operators

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 1999, LPNMR.

A Characterization of Acceptability

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 1999, ICLP.

Mathematical Aspects of Logic Programming Semantics

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2010, Chapman and Hall / CRC studies in informatics series.

Dislocated Topologies

P. Hitzler, A. Seda, Pascal Hitzler, 2000 .

Banach bundles of continuous functions and an integral representation theorem

A. Seda, 1982 .

Integral representation of linear functionals on spaces of sections

A. Seda, 1984 .

Banach bundles and a theorem of J. M. G. Fell

A. Seda, 1981 .

On the continuity of Haar measure on topological groupoids

A. Seda, 1986 .

Strictly Level-Decreasing Logic Programs

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 1998, IWFM.

Topology Proceedings

A. Seda, K. Hrbacek, Pascal Hitzler, 2008 .

Generalized Ultrametrics, Domains and an Application to Computational Logic

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 1998, Irish Mathematical Society Bulletin.

Topology and Iterates in Computational Logic

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 1997 .

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

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 2001, IWFM.

Some Convergence Issues in Theoretical Computer Science

Anthony Karel Seda, A. Seda, 2002 .

Acceptable Programs Revisited

Pascal Hitzler, Anthony Karel Seda, P. Hitzler, 1999, Verification of Logic Programs@ICLP.