Εμφανίζονται 21 - 40 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 21
    Inductive Logic Programming 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Entailment in Nonmonotonic Logic Programs -- A Note on Two Simple Transformations for Improving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Inductive Logic Programming 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…Inductive logic programming for natural language processing -- An initial experiment…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Inductive Logic Programming 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- An Empirical Evaluation of Bagging in Inductive Logic Programming -- Kernels for Structured Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 24
    Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of Learning Efficiency -- Efficient Data Structures for Inductive Logic Programming -- Graph Kernels…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 25
    Functional and Logic Programming 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…Semantics and Types in Functional Logic Programming -- Polytypic Programming With Ease -- Type…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 26
    Functional and Logic Programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for Proof-Carrying Code -- Parameterized Logic Programs where Computing Meets Learning -- Functional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 27
    Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… computations -- A semantic basis for termination analysis of logic programs and its realization using symbolic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 28
    Inductive Logic Programming 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…A Refinement Operator for Theories -- Learning Logic Programs with Neural Networks -- A Genetic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 29
    Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…-Founded Semantics in Normal Logic Programs with Uncertainty -- Linearly Used Effects: Monadic and CPS…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 30
    Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 31
    Inductive Logic Programming 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Operator for Inductive Logic Programming -- A Strong Complete Schema for Inductive Functional Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 32
    Inductive Logic Programming 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Attribute-value learning versus inductive logic programming: The missing links -- Advances in ILP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 33
    Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Programming in a Meta-logical Framework -- Refereed Papers Logic and Functional-Logic Programming -- Online…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 34
    Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 35
    Logic Programming with Prolog
    ανά Bramer, Max
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 36
    Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Accurate Probabilistic Estimates -- Applying Inductive Logic Programming to Process Mining -- A Refinement…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 37
    Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 38
    Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 39
    Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 40
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email