Author:
Hitzler Pascal,Krötzsch Markus
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Artificial Intelligence;P. Hitzler,2004
2. Rounds, W.C., Zhang, G.-Q.: Clausal logic and logic programming in algebraic domains. Information and Computation 171, 156–182 (2001)
3. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D., Maibaum, T.S. (eds.) Handbook of Logic in Computer Science, Clarendon, Oxford, vol. 3 (1994)
4. Plotkin, G.: T
ω
as a universal domain. Journal of Computer and System Sciences 17, 209–236 (1978)
5. Fitting, M.: A Kripke-Kleene-semantics for general logic programs. The Journal of Logic Programming 2, 295–312 (1985)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献