Coinductive Logic Programming and Its Applications-Reference-Cited by-同舟云学术

Coinductive Logic Programming and Its Applications

Published: Issue: Volume: Page:27-44
ISSN:
Container-title:Logic Programming
language:
Short-container-title:

Author:

Gupta Gopal,Bansal Ajay,Min Richard,Simon Luke,Mallya Ajay

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74610-2_4.pdf

Reference25 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. TCS 126, 183–235 (1994)

2. Bansal, A.: Towards next generation logic programming systems. Ph.D. thesis forthcoming

3. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)

4. Barwise, J., Moss, L.: Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. CSLI Publications, Stanford (1996)

5. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proc. of the Fifth International Conference and Symposium, pp. 1070–1080 (1988)

Cited by 49 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Asynchronous unfold/fold transformation for fixpoint logic;Science of Computer Programming;2024-01

2. stableKanren: Integrating Stable Model Semantics with miniKanren;International Symposium on Principles and Practice of Declarative Programming;2023-10-22

3. Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

4. Nested Session Types;ACM Transactions on Programming Languages and Systems;2022-07-15

5. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17