Filters: Author is Anthony K. Seda [Clear All Filters]
Anthony K. Seda, Pascal Hitzler. Mathematical Aspects of Logic Programming Semantics. 2010.
Anthony K. Seda, Pascal Hitzler. The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming. In 2002.
(0 bytes)
Anthony K. Seda, Pascal Hitzler. Acceptable Programs Revisited. In Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99),; 1999.
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.
Anthony K. Seda, Pascal Hitzler. Classes of Logic Programs which Possess Unique Supported Models. In Classes of Logic Programs which Possess Unique Supported Models. 2000.
Anthony K. Seda, Pascal Hitzler. On the Coincidence of Semantics for Uniquely Determined Programs. In On the Coincidence of Semantics for Uniquely Determined Programs. 2000.
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.
Anthony K. Seda, Pascal Hitzler. Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. In Electronic Workshops in Computing, British Computer Society; 1999.
Anthony K. Seda, Pascal Hitzler. A New Fixed-point Theorem for Logic Programming Semantics. In SCI2000 and ISAS2000. Orlando, Florida, USA; 2000. p. 418-423.
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.
Anthony K. Seda, Pascal Hitzler. Strictly Level-Decreasing Logic Programs. In the Second Irish Workshop on Formal Methods; 1998.
Pascal Hitzler, Anthony K. Seda. A "Converse" of the Bananch Contraction Mapping Theorem. Journal of Electrical Engineering. 2001 ;:3-6.
Pascal Hitzler, Anthony K. Seda. Dislocated Topologies. 2000 ;.
Anthony K. Seda, Pascal Hitzler. Generalized Distance Functions in the Theory of Computation. The Computer Journal. 2010 ;:443-464.
Anthony K. Seda, Pascal Hitzler. Generalized Metrics and Uniquely Determined Logic Programs. Theoretical Computer Science. 2003 ;:187-219.
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.
Anthony K. Seda, Pascal Hitzler. Unique Supported-Model Classes of Logic Programs. Information. 2001 ;:295-302.
Pascal Hitzler, Anthony Seda, Anthony K. Seda. Dislocated Topologies. 2000.
Anthony K. Seda, Pascal Hitzler. A Topological View of Acceptability. 2000.