Showing 61 - 80 results of 647 for search '"logic programming"', query time: 0.11s Refine Results
  1. 61
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
    by Blume, Matthias
    Published 2010
    Get full text
    Electronic Kit Book
  2. 62
    Logic Programming and Databases
    by Ceri, S., Gottlob, G., Tanca, L.
    Published 1990
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  3. 63
    Parallel logic programming
    by Tick, Evan 1959-
    Published 1991
    Book
  4. 64
    The logic programming paradigm A 25-year perspective
    Published 1999
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  5. 65
    Logic Programming with Prolog
    Book
  6. 66
    Foundations of logic programming
    Book
  7. 67
    Foundations of Disjunctive Logic Programming
    Book
  8. 68
    Foundations of inductive logic programming
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  9. 69
    From logic to logic programming
    by Doets, Kees
    Published 1994
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  10. 70
    Logic programming and knowledge engineering
    by Amble, Tore
    Published 1987
    Book
  11. 71
    Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
    Published 2015
    Table of Contents: “… -- Enablers and Inhibitors in Causal Justifications of Logic Programs -- Efficient Problem Solving on Tree…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 72
    Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
    Published 1997
    Table of Contents: “… knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 73
    Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings /
    Published 2001
    Table of Contents: “… and Inference in Minimal Models -- Data Integration Needs Reasoning -- Nonmonotomic Inductive Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 74
    Logic Programming and Knowledge Representation Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers /
    Published 1998
    Table of Contents: “…Knowledge representation with logic programs -- Datalog with nested rules -- Partial evidential…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 75
    Logic Programming and Nonmonotonic Reasoning 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Semi-Normal Default Logic on the Basis of its Expressive Power -- Locally Determined Logic Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 76
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Published 1999
    Table of Contents: “…-commutative Logic -- Session 10 -- CHAT Is ? (SLG-WAM) -- Proving Failure of Queries for Definite Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 77
    Foundations of Inductive Logic Programming
    Table of Contents: “…-resolution -- What is inductive logic programming? -- The framework for model inference -- Inverse resolution…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 78
    Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings /
    Published 1998
    Table of Contents: “… Program Transformation Schemas -- Logic Program Schemas, Constraints, and Semi-unification -- Implicit…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 79
    Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings /
    Published 1997
    Table of Contents: “…Refining specifications to logic programs -- Symbolic verification with gap-order constraints…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 80
    Logic Programming and Nonmonotonic Reasoning 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings /
    Published 2004
    Table of Contents: “… Initiative -- Regular Papers -- Semantics for Dynamic Logic Programming: A Principle-Based Approach…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search