Showing 1 - 20 results of 647 for search '"logic programming"', query time: 0.11s Refine Results
  1. 1
    Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings /
    Published 2001
    Table of Contents: “… at Constraint-Based Concurrency -- Probabilistic Databases and Logic Programming -- Conference Papers…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /
    Published 2002
    Table of Contents: “… for Deductive Databases by Logic Programming -- Reasoning about Actions with CHRs and Finite Domain Constraints…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /
    Published 2003
    Table of Contents: “… Programmers -- A Logic Programming View of Authorization in Distributed Systems -- Compositional Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /
    Published 2004
    Table of Contents: “… and Tabled Execution -- Possible Worlds Semantics for Probabilistic Logic Programs -- Limiting Resolution…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    Published 2008
    Table of Contents: “…Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Invited Talks -- Experiences Using Logic Programming in Bioinformatics -- A Knowledge Base System…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /
    Published 2005
    Table of Contents: “…: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Logic programming operational semantics and proof theory
    by Andrews, James H.
    Published 1992
    Book
  11. 11
    Logic programming formal methods and practical aplications
    Published 1995
    Book
  12. 12
    Logic programming Proceedings of the 5th International Conference and Symposium
    Published 1988
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  13. 13
    Logic programming Proceedings of the 5th International Conference and Symposium
    Published 1988
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  14. 14
    Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985.
    Published 1986
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  15. 15
    Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
    Published 1987
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  16. 16
    Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
    Published 1987
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  17. 17
    Logic programming
    Published 1982
    Subjects: “…LOGIC PROGRAMMING 113457…”
    Book
  18. 18
    Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Inductive Logic Programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings /
    Published 2004
    Table of Contents: “… -- At the Interface of Inductive Logic Programming and Statistics -- From Promising to Profitable Applications of ILP…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Inductive Logic Programming 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings /
    Published 1997
    Table of Contents: “… Programming problems -- Inductive logic programming and constraint logic programming (abstract) -- Learning…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search