Coinductive logic programming and its applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4670 LNCS, Issue , 2007, Pages 27-44

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

^a The University of Texas at Dallas   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; MODEL CHECKING; SEMANTICS;

COINDUCTION; CONCURRENT LOGIC PROGRAMMING; FIXED POINTS; GREATEST FIXED POINTS; INTERACTIVE COMPUTATION; ITS APPLICATIONS; LAZY EVALUATION; NON-MONOTONIC REASONING;

LOGIC PROGRAMMING;

EID: 38149060201     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74610-2_4     Document Type: Conference Paper

References (25)

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)
6. Goldin, D., Keil, D.: Interaction, Evolution and Intelligence. In: Proc. Congress on Evolutionary Computing (2001)
7. Goguen, J., Lin, K.: Behavioral Verification of Distributed Concurrent Systems with BOBJ. In: Proc. Conference on Quality Software, pp. 216-235. IEEE Press, Los Alamitos (2003)
8. Gordon, A.: A Tutorial on Co-induction and Functional Programming. In: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Springer Workshops in Computing (Functional Programming), pp. 78-95 (1995)
9. Gupta, G., Pontelli, E.: Constraint-based Specification and Verification of Real-time Systems. In: Proc. IEEE Real-time Symposium '97, pp. 230-239
10. Jacobs, B.: Introduction to Coalgebra: Towards Mathematics of States and Observation. Draft manuscript
11. Liu, X., Ramakrishnan, C.R., Smolka, S.A.: Fully local and efficient evaluation of alternating fixed-points. In: Steffen, B. (ed.) ETAPS 1998 and TACAS 1998. LNCS, vol. 1384, Springer, Heidelberg (1998)
12. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
13. Mallya, A.: Multivalued Deductive Multi-valued Model Checking. Ph.d. thesis. UT Dallas (2006)
14. Marek, W., Truszczynski, M.: Stable models and an alternative logic programming paradigm. In: the Logic Programming Paradigm: a 25-Year Perspective, pp. 375-398. Springer, Heidelberg (1999)
15. Min, R.: Coinduction in monotonie and non-monotonic reasoning. Ph.D. thesis forthcoming
16. Pierce, B.: Types and Programming Languages. MIT Press, Cambridge, MA (2002)
17. Podelski, A., Rybalchenko, A.: Transition Predicate Abstraction and Fair Termination. In: POPL '05, pp. 132-144. ACM Press, New York (2005)
18. Ramakrishna, Y.S., et al.: Efficient Model Checking Using Tabled Resolution. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 143-154. Springer, Heidelberg (1997)
19. Costa, V.S., Rocha, R.: The YAP Prolog System
20. Schuppan, V., Biere, A.: Liveness Checking as Safety Checking for Infinite State Spaces. ENTCS 149(1), 79-96 (2006)
21. Simon, L.: Extending Logic Programming with Coinduction. Ph.D. Thesis (2006)
22. Simon, L., Mallya, A., Bansal, A., Gupta, G.: Coinductive Logic Programming. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 330-344. Springer, Heidelberg (2006)
23. Simon, L., Bansal, A., Mallya, A., Gupta, G.: Co-Logic Programming. In: Arge, L., Cachin, C., Jurdzinski, T., Tarlecki, A. (eds.) ICALP 2007, LNCS, vol. 4596, Springer, Heidelberg (2007)
24. Vardi, M.: Verification of Concurrent Programs: The Automata-Theoretic Frame-work. In: LICS '87, pp. 167-176. IEEE, Los Alamitos (1987)
25. Wegner, P., Goldin, D.: Mathematical models of interactive computing. Brown University Technical Report CS 99-13 (1999)