The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anthony Karel Seda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pascal Hitzler, Anthony Karel Seda
    A Characterization of Acceptability. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:609- [Conf]
  2. Pascal Hitzler, Anthony Karel Seda
    A Note on the Relationships Between Logic Programs and Neural Networks. [Citation Graph (0, 0)][DBLP]
    IWFM, 2000, pp:- [Conf]
  3. Pascal Hitzler, Anthony Karel Seda
    VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. [Citation Graph (0, 0)][DBLP]
    IWFM, 2001, pp:- [Conf]
  4. Pascal Hitzler, Anthony Karel Seda
    Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. [Citation Graph (0, 0)][DBLP]
    IWFM, 1999, pp:- [Conf]
  5. Anthony Karel Seda, Pascal Hitzler
    Strictly Level-Decreasing Logic Programs. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]
  6. Anthony Karel Seda, Maire Lane
    On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs. [Citation Graph (0, 0)][DBLP]
    IWFM, 2003, pp:- [Conf]
  7. Pascal Hitzler, Anthony Karel Seda
    Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:355-369 [Conf]
  8. Pascal Hitzler, Anthony Karel Seda
    Characterizations of Classes of Programs by Three-Valued Operators. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:357-371 [Conf]
  9. Anthony Karel Seda
    A Topological View of the Kowalski - Van Emden Theorem. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:53, n:, pp:256-263 [Journal]
  10. Anthony Karel Seda
    Some Applications of General Topology To The Semantics of Logic Programms. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:52, n:, pp:279-291 [Journal]
  11. Anthony Karel Seda
    Quasi-Metrics and Fixed Points in Computing. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:60, n:, pp:154-163 [Journal]
  12. Pascal Hitzler, Anthony Karel Seda
    On the Coincidence of Semantics for Uniquely Determined Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  13. Anthony Karel Seda
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  14. Anthony Karel Seda
    On the Integration of Connectionist and Logic-Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:109-130 [Journal]
  15. Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:1-2 [Journal]
  16. Anthony Karel Seda
    Quasi-Metrics and the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:29, n:1-2, pp:97-117 [Journal]
  17. Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda
    Logic programs and connectionist networks. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2004, v:2, n:3, pp:245-272 [Journal]
  18. Pascal Hitzler, Anthony Karel Seda
    Generalized metrics and uniquely determined logic programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:187-219 [Journal]
  19. Pascal Hitzler, Anthony Karel Seda
    Acceptable Programs Revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal]
  20. Anthony Karel Seda
    Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators. [Citation Graph (0, 0)][DBLP]
    IWINAC (1), 2007, pp:224-233 [Conf]

  21. Generalized Distance Functions in the Theory of Computation. [Citation Graph (, )][DBLP]


  22. Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. [Citation Graph (, )][DBLP]


  23. Properties of General Semantic Operators Determined by Logic-Based Systems. [Citation Graph (, )][DBLP]


  24. Preface. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002