Library

Export 20 results:
Filters: Author is Anthony K. Seda  [Clear All Filters]
2003
Anthony K. Seda, Pascal Hitzler. Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks. In the 26th Annual German Conference on Artificial Intelligence, KI2003. Hamburg, Germany; 2003. p. 105-119.  (247.39 KB)
Anthony K. Seda, Pascal Hitzler. Generalized Metrics and Uniquely Determined Logic Programs. Theoretical Computer Science. 2003 ;:187-219.  (419.06 KB)
2001
Pascal Hitzler, Anthony K. Seda. A "Converse" of the Bananch Contraction Mapping Theorem. Journal of Electrical Engineering. 2001 ;:3-6.  (172.7 KB)
Anthony K. Seda, Pascal Hitzler. Semantic Operators and Fixed-Point Theory in Logic Programming. In 7th International Conference on Information Systems Analysis and Synthesis (ISAS 2001). Orlando, Florida, USA; 2001. p. 224-229.  (1.77 MB)
Anthony K. Seda, Pascal Hitzler. Unique Supported-Model Classes of Logic Programs. Information. 2001 ;:295-302.  (177.12 KB)
1999
Anthony K. Seda, Pascal Hitzler. Acceptable Programs Revisited. In Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99),; 1999.  (1.1 MB)
Anthony K. Seda, Pascal Hitzler. A Characterization of Acceptability. In A Characterization of Acceptability. 1999.
Anthony K. Seda, Pascal Hitzler. Characterizations of Classes of Programs by Three-valued Operators. In Characterizations of Classes of Programs by Three-valued Operators. 1999.  (0 bytes)
Anthony K. Seda, Pascal Hitzler. Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. In Electronic Workshops in Computing, British Computer Society; 1999.  (0 bytes)
Anthony K. Seda, Pascal Hitzler. Some Issues Concerning Fixed-Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the Knaster-Tarski Theorem. Topology Proceedings. 1999 ;:223-250.  (251.14 KB)
1998
Anthony K. Seda, Pascal Hitzler. Strictly Level-Decreasing Logic Programs. In the Second Irish Workshop on Formal Methods; 1998.  (0 bytes)