Anthony Karel Seda Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTurlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy: Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008 CSP 2009
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 225: 1-2 (2009)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEkaterina Komendantskaya, Anthony Karel Seda: Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. Electr. Notes Theor. Comput. Sci. 225: 141-159 (2009)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMáire Lane, Anthony Karel Seda: Properties of General Semantic Operators Determined by Logic-Based Systems. Electr. Notes Theor. Comput. Sci. 225: 181-194 (2009)
2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda: Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators. IWINAC (1) 2007: 224-233
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEkaterina Komendantskaya, Máire Lane, Anthony Karel Seda: Connectionist Representation of Multi-Valued Logic Programs. Perspectives of Neural-Symbolic Integration 2007: 283-313
2006
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 161: 1-2 (2006)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda: On the Integration of Connectionist and Logic-Based Systems. Electr. Notes Theor. Comput. Sci. 161: 109-130 (2006)
2004
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Steffen Hölldobler, Anthony Karel Seda: Logic programs and connectionist networks. J. Applied Logic 2(3): 245-272 (2004)
2003
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda, Máire Lane: On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs. IWFM 2003
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. KI 2003: 355-369
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Generalized metrics and uniquely determined logic programs. Theor. Comput. Sci. 305(1-3): 187-219 (2003)
2001
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. IWFM 2001
2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: A Note on the Relationships Between Logic Programs and Neural Networks. IWFM 2000
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: On the Coincidence of Semantics for Uniquely Determined Programs. Electr. Notes Theor. Comput. Sci. 40: (2000)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda: Preface. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: A Characterization of Acceptability. ICLP 1999: 609
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. IWFM 1999
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Characterizations of Classes of Programs by Three-Valued Operators. LPNMR 1999: 357-371
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Hitzler, Anthony Karel Seda: Acceptable Programs Revisited. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
1998
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda, Pascal Hitzler: Strictly Level-Decreasing Logic Programs. IWFM 1998
1997
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda: Quasi-Metrics and the Semantics of Logic Programs. Fundam. Inform. 29(1-2): 97-117 (1997)
1996
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda: Quasi-Metrics and Fixed Points in Computing. Bulletin of the EATCS 60: 154-163 (1996)
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda: Some Applications of General Topology To The Semantics of Logic Programms. Bulletin of the EATCS 52: 279-291 (1994)
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda: A Topological View of the Kowalski - Van Emden Theorem. Bulletin of the EATCS 53: 256-263 (1994)

Coauthor Index

1Mícheál Mac an Airchinnigh [19] [24]
2Menouer Boubekeur [24]
3Pascal Hitzler [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [17]
4Steffen Hölldobler [17]
5Ted Hurley [19] [24]
6Ekaterina Komendantskaya [20] [23]
7Máire Lane [16] [20] [22]
8Niall Murphy [25]
9Turlough Neary [25]
10Michel P. Schellekens [19] [24]
11Glenn Strong [19] [24]
12Damien Woods [25]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)