Abduction of linear arithmetic constraints

Lecture Notes in Computer Science

Volumn 3668, Issue , 2005, Pages 174-188

  Maher, Michael J ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ENGINEERING; DIGITAL ARITHMETIC; INFORMATION RETRIEVAL; LINEAR PROGRAMMING; LOGIC PROGRAMMING; QUERY LANGUAGES;

ABDUCTION; ARITHMETIC CONSTRAINTS; QUERY ANSWERING;

CONSTRAINT THEORY;

EID: 27144465743     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11562931_15     Document Type: Conference Paper

References (17)

1. R. Giacobazzi, Abductive analysis of modular logic programs, Journal of Logic and Computation 8(4):457-484, 1998.
2. A.Y. Halevy, Answering queries using views: A survey, VLDB J. 10(4): 270-294, 2001.
3. 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.
4. J. Jaffar & M.J. Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming 19 & 20, 503-581, 1994.
5. A.C. Kakas, R.A. Kowalski, F. Toni, Abductive Logic Programming, J. Logic and Computation 2(6): 719-770, 1992.
6. A.C. Kakas, A. Michael, C. Mourlas, ACLP: Abductive Constraint Logic Programming, J. Logic Programming 44(1-3): 129-177, 2000.
7. A. King, & L. Lu, Forward versus Backward Verification of Logic Programs, Proc. ICLP, 315-330, 2003.
8. J-L. Lassez & M.J. Maher, On Fourier's Algorithm for Linear Arithmetic Constraints, Journal of Automated Reasoning 9, 373-379, 1992.
9. 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.
10. M.J. Maher, Herbrand Constraint Abduction, Proc. LICS, 397-406, 2005.
11. C.S. Peirce, Collected Papers of Charles Saunders Peirce, C. Hartshorne & P. Weiss (Eds), Belknap Press of Harvard University Press, 1965.
12. V. Simonet & F. Pottier, Constraint-based type inference with guarded algebraic data types, submitted for publication, 2004. Available at pauillac.inria.fr/~fpottier/biblio/pottier.html
13. P.J. Stuckey, M. Sulzmann & J. Wazny, Existentially Quantified Type Classes, draft paper, 2004.
14. J. Wang, M. Maher & R. Topor, Rewriting Unions of General Conjunctive Queries Using Views, Proc. Conf. on Extending Database Technology, LNCS 2287, 52-69, 2002.
15. H. Xi, Dependent Types in Practical Programming, Ph.D. thesis, Carnegie-Mellon University, 1998.
16. H. Xi, C. Chen & G. Chen, Guarded recursive datatype constructors, Proc. POPL, 224-235, 2003.
17. C. Zenger, Indizierte Typen, Ph.D. thesis, Universität Karlsruhe, 1999.