MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Foundations of Deductive Databases and Logic Programming" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Constraint Logic Programming: A Survey  
  • by Joxan Jaffar, Michael J. Maher, K. Schuerman, M. Reeve, L. L. Li, How In The Elipsys — 1994
  • …, On the Declarative Semantics of Deductive Databases and Logic Programs, in: Foundations of Deductive Databases
  • Cited by 644 (13 self)Add To MetaCart
  • Bibliography  
  • by Ab Apt Bol, Abw K. R. Apt, H. A. Blair, Ahv S. Abiteboul, R. Hull, V. Vianu, Foundations Databases Addisonwesley, Logic Programming, Semantics In J. Dix, L. M. Pereira, T. C. Przymusinski (eds, Bdp S. Brass, J. Dix, T. C. Przymusinski Characterizations — 1996
  • … of declarative knowledge. In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, 89…
  • Add To MetaCart
  • Also in (Muggleton, 1992a): 145–161.  
  • by B. London, K. Clarkson, G. Dromey ‘learning, Overview’. In Logic, A. Fuhrmann, H. Rott (eds
  • ….), Routledge & Kegan Paul, London. MINKER, J., ED. (1988) Foundations of Deductive Databases and Logic
  • Add To MetaCart
  • Viable Non-monotonic Applications  
  • by Antonis Kakas Department, Antonis C. Kakas — 1996 — Proceedings of the ECAI-96 Workshop on
  • … of Deductive Databases and Logic Programming, Morgan Kaufman, 1988. REFERENCES …
  • Add To MetaCart
  • Logic Databases and the Meaning of Change  
  • by Jorge Bocca, Hendrik Decker, Michael Kifer, Andrei Voronkov — 1996
  • … Maintenance, LNAI, 1990. [LT] Lloyd, Topor. A basis for deductive database systems II. J. Logic Programming, 3…
  • Add To MetaCart
  • Constraint (Logic) Programming: A Bibliography  
  • by Michael Jampel, Jean-louis Lassez, Vijay Saraswat, Ppcp' First Workshop On, C. Ziegler, M. Surauer — 1996
  • …-control to OR-control by program transformation. In Jeff Minker, editor, Foundations of Deductive Databases
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB