On computing constraint abduction answers

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

Volumn 5330 LNAI, Issue , 2008, Pages 421-435

  Maher, Michael ^a   Huang, Ge ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC DATA TYPES; DO-MAINS; TYPE INFERENCES; UNARY FUNCTIONS;

ARTIFICIAL INTELLIGENCE;

EID: 58049105920     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89439-1_30     Document Type: Conference Paper

References (15)

1. Diekert, V., Gutierrez, C., Hagenah, C.: The existential theory of equations with rational constraints in free groups is PSPACE-complete. Information and Computation 202(2), 105-140 (2005)
2. Lassez, J.-L., Maher, M.J., Marriott, K.G.: Unification Revisited, In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 587-625. Kauffman, San Francisco (1987)
3. Maher, M.J.: Herbrand Constraint Abduction. In: Proc. Symp. on Logic in Computer Science, pp. 397-406 (2005)
4. Maher, M.: Heyting Domains for Constraint Abduction. In: Sattar, A., Kang, B.-h. (eds.) AI 2006. LNCS (LNAI), vol. 4304, pp. 9-18. Springer, Heidelberg (2006)
5. Martelli, A., Montanari, U.: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2), 258-282(1982)
6. Nelson, G., Oppen, D.C.: Fast Decision Procedures Based on Congruence Closure. JACM 27(2), 356-364 (1980)
7. Paterson, M., Wegman, M.N.: Linear Unification. J. Comput. Syst. Sci. 16(2), 158-167 (1978)
8. Peyton Jones, S., Vytiniotis, D., Weirich, S., Washburn, G.: Simple Unification-based Type Inference for GADTs. In: Proc. Int. Conf. Functional Programming, pp. 50-61. ACM Press, New York (2006)
9. Pottier, F., Régis-Gianas, Y.: Stratified type inference for generalized algebraic data types. In: Proc. POPL, pp. 232-244. ACM Press, New York (2006)
10. Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle. JACM 12(1), 23-41 (1965)
11. Simonet, V., Pottier, F: Constraint-based type inference with guarded algebraic data types. ACM Transactions on Programming Languages and Systems 29(1) (2007)
12. Schrijvers, T.: Personal communication
13. Stuckey, P.J., Sulzmann, M., Wazny, J.: Type Processing by Constraint Reasoning. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol. 4279, pp. 1-25. Springer, Heidelberg (2006)
14. Sulzmann, M., Schrijvers, T., Stuckey, P.J.: Type inference for GADTs via Herbrand constraint abduction, Report CW 507, K. U. Leuven, Dept. of Computer Science (2008)
15. Xi, H., Chen, C., Chen, G.: Guarded recursive datatype constructors. In: Proc. POPL, pp. 224-235 (2003)