Εμφανίζονται 261 - 280 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 261
    Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 262
    9781439829622.pdf
    Έκδοση 2020
    “… account of the mathematical methods and tools required for the semantic analysis of logic programs…”
    Λήψη πλήρους κειμένου
  3. 263
    Institution-independent Model Theory
    ανά Diaconescu, Răzvan
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 264
    Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs -- Hierarchical Shape…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 265
    Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 266
    Partial Evaluation: Practice and Theory DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…-Applicable Partial Evaluator for Scheme -- C-Mix -- Logic Program Specialisation -- Theory, Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 267
    Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- The Dependency Triple Framework for Termination of Logic Programs -- Goal-Directed and Relative Dependency Pairs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 268
    Introduction to Artificial Intelligence
    ανά Ertel, Wolfgang
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Introduction -- Propositional Logic -- First-order Predicate Logic -- Limitations of Logic -- Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 269
    Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Defeasible Description Logics -- Extensional Higher-Order Logic Programming -- dl2asp: Implementing Default…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 270
    Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Activation Language -- Logic Programs for Querying Inconsistent Databases -- A CLP-Based Tool for Computer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 271
    Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Logic Programs -- Automatic Program Rewriting in Non-Ground Answer Set Programs -- Personalized Course…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 272
    Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 273
    Advances in Artificial Intelligence 14th Brazilian Symposium on Artificial Intelligence, SBIA'98 Porto Alegre, Brazil, November 4-6, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… and Neural Networks -- Goal-Directed Reinforcement Learning Using Variable Learning Rate -- Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 274
    Artificial Intelligence: Methodology, Systems, and Applications 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- An agent model for NL dialog interfaces -- Constraint solving in Logic Programming and in Automated…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 275
    Knowledge Discovery Enhanced with Semantic and Social Information
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Conceptual Knowledge in Inductive Logic Programming -- A Knowledge-Intensive Approach for Semi-automatic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 276
    Programming Languages An Active Learning Approach /
    ανά Lee, Kent
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Logic Programming -- Formal Semantics -- Appendix A: The C++ Scanner Class Implementation -- Appendix B…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 277
    Foundations of Programming Languages
    ανά Lee, Kent D.
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Programming -- Compiling Standard ML -- Logic Programming -- Standard ML Type Inference -- Appendix A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 278
    Logics in Artificial Intelligence European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 279
    Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Flexible Models for Dynamic Linking -- Correction of Functional Logic Programs -- Approximate Pruning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 280
    Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Resolution for logic programming with universal quantifiers -- A declarative approach to concurrent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email