Logic for Computer Scientists

Authors:
Uwe Schoning;Robert Constable;John C. Cherniavsky;Richard Platek;Jean Gallier;Richard Statman
Affiliations:
-;-;-;-;-;-
Venue:
Logic for Computer Scientists
Year:
1989

Three theses of representation in the semantic web

WWW '03 Proceedings of the 12th international conference on World Wide Web
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus

FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Logical foundations for more expressive declarative temporal logic programming languages

ACM Transactions on Computational Logic (TOCL)
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences

International Journal of Software Science and Computational Intelligence

Hi-index	0.00