Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Anthony Karel Seda
2010 – today
- 2011
[b1]Pascal Hitzler, Anthony Karel Seda: Mathematical Aspects of Logic Programming Semantics. Chapman and Hall / CRC studies in informatics series, CRC Press 2011, ISBN 978-1-439-82961-5, pp. I-XXX, 1-274- [j16]
- 2010
- [j15]Anthony Karel Seda, Pascal Hitzler: Generalized Distance Functions in the Theory of Computation. Comput. J. 53(4): 443-464 (2010)
2000 – 2009
- 2009
- [j14]Anthony 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)
- [j13]Ekaterina Komendantskaya, Anthony Karel Seda: Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. Electr. Notes Theor. Comput. Sci. 225: 141-159 (2009)
- [j12]Máire Lane, Anthony Karel Seda: Properties of General Semantic Operators Determined by Logic-Based Systems. Electr. Notes Theor. Comput. Sci. 225: 181-194 (2009)
- [e1]Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy (Eds.): Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008. EPTCS 1, 2009
- 2007
- [c9]Anthony Karel Seda: Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators. IWINAC (1) 2007: 224-233
- [p1]Ekaterina Komendantskaya, Máire Lane, Anthony Karel Seda: Connectionist Representation of Multi-Valued Logic Programs. Perspectives of Neural-Symbolic Integration 2007: 283-313
- 2006
- [j11]Anthony 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)
- [j10]Anthony Karel Seda: On the Integration of Connectionist and Logic-Based Systems. Electr. Notes Theor. Comput. Sci. 161: 109-130 (2006)
- 2004
- [j9]Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda: Logic programs and connectionist networks. J. Applied Logic 2(3): 245-272 (2004)
- 2003
- [j8]Pascal Hitzler, Anthony Karel Seda: Generalized metrics and uniquely determined logic programs. Theor. Comput. Sci. 305(1-3): 187-219 (2003)
- [c8]Anthony Karel Seda, Máire Lane: On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs. IWFM 2003
- [c7]Pascal Hitzler, Anthony Karel Seda: Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. KI 2003: 355-369
- 2001
- [c6]Pascal Hitzler, Anthony Karel Seda: VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. IWFM 2001
- 2000
- [j7]
- [j6]Pascal Hitzler, Anthony Karel Seda: On the Coincidence of Semantics for Uniquely Determined Programs. Electr. Notes Theor. Comput. Sci. 40: 189-205 (2000)
- [c5]Pascal Hitzler, Anthony Karel Seda: A Note on the Relationships Between Logic Programs and Neural Networks. IWFM 2000
1990 – 1999
- 1999
- [j5]Pascal Hitzler, Anthony Karel Seda: Acceptable Programs Revisited. Electr. Notes Theor. Comput. Sci. 30(1): 59-76 (1999)
- [c4]
- [c3]Pascal Hitzler, Anthony Karel Seda: Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. IWFM 1999
- [c2]Pascal Hitzler, Anthony Karel Seda: Characterizations of Classes of Programs by Three-Valued Operators. LPNMR 1999: 357-371
- 1998
- [c1]
- 1997
- [j4]Anthony Karel Seda: Quasi-Metrics and the Semantics of Logic Programs. Fundam. Inform. 29(1-2): 97-117 (1997)
- 1996
- [j3]Anthony Karel Seda: Quasi-Metrics and Fixed Points in Computing. Bulletin of the EATCS 60: 154-163 (1996)
- 1994
- [j2]Anthony Karel Seda: Some Applications of General Topology To The Semantics of Logic Programms. Bulletin of the EATCS 52: 279-291 (1994)
- [j1]Anthony Karel Seda: A Topological View of the Kowalski - Van Emden Theorem. Bulletin of the EATCS 53: 256-263 (1994)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:07 CEST by the dblp team