Searching for "Fixed Point Theorems in Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

A New Fixed-Point Theorem for Logic Programming Semantics
by Pascal Hitzler, Anthony K. Seda — 2000 — Proceedings of the joint IIIS & IEEE meeting of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000
…A New Fixed-Point Theorem for Logic Programming Semantics Pascal Hitzler and Anthony K. Seda…
Cited by 6 (6 self) – Add To MetaCart

A New Fixed-Point Theorem for Logic Programming Semantics
by Pascal Hitzler And, Pascal Hitzler, Anthony K. Seda — 2000 — Proceedings of the joint IIIS & IEEE meeting of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000
…A New Fixed-Point Theorem for Logic Programming Semantics Pascal Hitzler and Anthony K. Seda…
Add To MetaCart

Soft Computing Explains Heuristic Numerical Methods in Data Processing and in Logic Programming
by Hung T. Nguyen, Vladik Kreinovich, Bernadette Bouchon-meuiner — 1997 — in Data Processing and in Logic Programming
…, in logic programming, only discrete-valued fixed point theorems were used. Fitting (Fitting 1994…
Cited by 14 (14 self) – Add To MetaCart

Using natural language processing for identifying and interpreting tables in plain text
by Mohamed A. Khamsi, Driss Misane — 1995 — In Fourth Annual Symposium on Document Analysis and Information Retrieval
…Fixed Point Theorems in Logic Programming Mohamed A. Khamsi 1 and Driss Misane 2 1 Department…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB