Herbrand constraint abduction

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2005, Pages 397-406

  Maher, Michael ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 26844465535     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2005.21     Document Type: Conference Paper

References (17)

1. Aristotle, Prior Analytics, trans. by H.Tredennick, Loeb classical library, No. 325, Heinemann, 1938.
2. M. Baaz, Note on the Existence of Most General Semi-Unifiers, 20-29, in: Arithmetic, Proof Theory and Computational Complexity, P. Clote & J. Krajíček (Eds.), Clarendon Press, 1993.
3. H. Comon, P. Lescanne, Equational Problems and Disunification, J. Symb. Comput. 7(3/4): 371-425, 1989.
4. A.Y. Halevy, Answering queries using views: A survey, VLDB J. 10(4): 270-294, 2001.
5. J. M. Howe, A. King, & L. Lu, Analysing Logic Programs by Reasoning Backwards in: M. Bruynooghe and K.-K. Lau (Eds), Program Development in Computational Logic, LNCS 3049, 152-188. 2004.
6. J. Jaffar & M.J. Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming 19 & 20, 503-581, 1994.
7. A.J. Kfoury, J. Tiuryn, and P. Urzyczyn, The undecidability of the semiunification problem, Information and Computation, 102:83-101, 1993.
8. J-L. Lassez, M.J. Maher & K.G. Marriott, Unification Revisited, in: Foundations of Deductive Databases and Logic Programming, J. Minker(Ed), Morgan Kaufmann, 587-625, 1988.
9. M.J. Maher, Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees, Proc. 3rd. Symp. Logic in Computer Science, Edinburgh, 348-357, 1988. Full version: IBM Research Report, T.J. Watson Research Center.
10. M.J. Maher, On Parameterized Substitutions, IBM Research Report, T.J. Watson Research Center, 1990. Available at www.cse.unsw.edu.au/~mmaher/pubs/
11. A. Martelli & U. Montanari, An Efficient Unification Algorithm, ACM Trans. Program. Lang. Syst. 4(2): 258-282, 1982.
12. Martha C. Mayer and Fiora Pirri, Abduction is not Deduction-in-Reverse, Journal of the Interest Group in Pure and Applied Logics, 4(1):1-14, 1996.
13. C.S. Peirce, Collected Papers of Charles Saunders Peirce, C. Hartshorne & P. Weiss (Eds), Belknap Press of Harvard University Press, 1965.
14. J.A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, JACM 12(1), 23-41, 1965.
15. V. Simonet & F. Pottier, Constraint-based type inference with guarded algebraic data types, submitted for publication, 2004. Available at pauillac.inria.fr/~fpottier/biblio/ pettier.html
16. P.J. Stuckey, M. Sulzmann & J. Wazny, Existentially Quantified Type Classes, draft paper, 2004.
17. J. Wang, M. Maher & R. Topor, Rewriting Unions of General Conjunctive Queries Using Views, Proc. Conf. on Extending Database Technology, LNCS 2287, Springer, 52-69, 2002.