Sequence unification through currying

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

Volumn 4533 LNCS, Issue , 2007, Pages 288-302

  Kutsia, Temur ^a   Levy, Jordi ^b   Villaret, Mateu ^c  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^c UNIVERSITY OF GIRONA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; LOGIC PROGRAMMING; PROBLEM SOLVING; XML;

INFORMATION EXTRACTION; LEFT-HOLE CONTEXT UNIFICATION; PROGRAM TRANSFORMATION; SEQUENCE UNIFICATION;

INFORMATION ANALYSIS;

EID: 38049146304     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73449-9_22     Document Type: Conference Paper

References (31)

1. Boley, H.: A Tight, Practical Integration of Relations and Functions. LNAI vol. 1712, Springer, Heidelberg (1999)
2. Buchberger, B., Crǎciun, A., Jebelean, T., Kovács, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4, 470-504 (2006)
3. Chasseur, E., Deville, Y.: Logic program schemas, constraints and semi-unification. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol. 1463, pp. 69-89. Springer, Heidelberg (1998)
4. Coelho, J., Florido, M.: CLP(Flex): Constraint logic programming applied to XML processing. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2004: CooplS, DOA, and ODBASE. LNCS, vol. 3291, pp. 1098-1112. Springer, Heidelberg (2004)
5. Coelho, J., Florido, M.: VeriFLog: A constraint logic programming approach to verification of website content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) Advanced Web and Network Technologies, and Applications. LNCS, vol. 3842, pp. 148-156. Springer, Heidelberg (2006)
6. Common Logic Working Group. Common Logic Standard (2007) http ://philebus.tamu.edu/cl/
7. Diekert, V.: Makanin's algorithm. In: Algebraic aspects of combinatorics on words, chapter 12, pp. 342-390. Cambridge University Press, Cambridge (2002)
8. Genesereth, M.R., Petrie, C., Hinrichs, T., Hondroulis, A., Kassoff, M., Love, N., Mohsin, W.: Knowledge Interchange Format, draft proposed American National Standard (dpANS) Technical Report NCITS.T2/98-004 (1998)
9. Ginsberg, M.L.: The MVL theorem proving system. SIGART Bull. 2(3), 57-60 (1991)
10. Hamana, M.: Term rewriting with sequences. In: Proc. of the First Int. Theorema Workshop. Technical report 97-20, RISC, Linz, Austria (1997)
11. Hayes, P., Menzel, C.: Semantics of Knowledge Interchange Format (2001) http://reliant.teknowledge.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf
12. Hayes, P.J., Menzel, C.: Simple common logic. In: W3C Workshop on Rule Languages for Interoperability. W3C (2005)
13. Jaffar, J.: Minimal and complete word unification. J. ACM 37(1), 47-85 (1990)
14. Koller, A.: Evaluating context unification for semantic underspecification. In: 3rd ESSLLI Student Session (ESSLLF98), August 17-28, pp. 188-199 (1998)
15. Kutsia, T.: Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In: Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., Sorge, V. (eds.) AISC 2002 and Calculemus 2002. LNCS (LNAI), vol. 2385, pp. 290-304. Springer, Heidelberg (2002)
16. Kutsia, T.: Solving equations with sequence variables and sequence functions. Journal of Symbolic Computation 42(3), 352-388 (2007)
17. Kutsia, T., Marin, M.: Matching with regular constraints. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 215-229. Springer, Heidelberg (2005)
18. Levy, J.: Linear second-order unification. In: Ganzinger, H. (ed.) Proceedings of the 7th International Conference on Rewriting Techniques and Applications (RTA'96). LNCS, vol. 1103, pp. 332-346. Springer, Heidelberg (1996)
19. Levy, J., Niehren, J., Villaret, M.: Well-nested context unification. In: Nieuwenhuis, R. (ed.) Proc. of the 20th Int. Conf. on Automated Deduction, CADE-20. LNCS (LNAI), vol. 3632, pp. 149-163. Springer, Heidelberg (2005)
20. J. Levy and M. Villaret. Context unification and traversal equations. In Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA'01), volume 2041 of LNCS, pages 169-184, 2001.
21. Levy, J., Villaret, M.: Currying second-order unification problems. In: Tison, S. (ed.) RTA 2002. LNCS, vol. 2378, pp. 326-339. Springer, Heidelberg (2002)
22. Makanin, G.S.: The problem of solvability of equations in a free semigroup. Math. USSR Sbornik 32(2), 129-198 (1977)
23. Marin, M., Kutsia, T.: Foundations of the rule-based system RhoLog. Journal of Applied Non.-Classical Logics 16(1-2), 151-168 (2006)
24. Niehren, J., Pinkal, M., Ruhrberg, P.: A uniform approach to underspecification and parallelism. In: Proc. of the 35th Annual Meeting of the ACL and the 8th Conf. of the European Chapter of the ACL (ACL'97), pp. 410-417 (1997)
25. Paulson, L.: Isabelle: the next 700 theorem provers. In: Odifreddi, P. (ed.) Logic and Computer Science, pp. 361-386. Academic Press, San Diego (1990)
26. Plandowski, W.: Satisfiability of word equations with constants is in PSPACE. In: Proc. of the 40th Annual Symp. on Foundations of Computer Science, FOCS'99, New York City, USA, pp. 495-500. IEEE Press, Orlando, Florida, USA (1999)
27. Richardson, J., Fuchs, N.E.: Development of correct transformation schemata for Prolog programs. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol. 1463, pp. 263-281. Springer, Heidelberg (1997)
28. Schmidt-Schauß, M.: A decision algorithm for stratified context unification. Journal of Logic and Computation 12, 929-953 (2002)
29. Schmidt-Schauß, M., Stuber, J.: The complexity of linear and stratified context matching problems. Theory of Computing Syst. 37(6), 717-740 (2004)
30. Schulz, K.U.: Makanin's algorithm for word equations - two improvements and a generalization. In: Schulz, K.U. (ed.) IWWERT 1990. LNCS, vol. 572, pp. 85-150. Springer, Heidelberg (1992)
31. Wolfram, S.: The Mathematica Book. Wolfram Media, 5th edn. (2003)