Library

Export 162 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
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)

Pages