Εμφανίζονται 541 - 560 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,17δλ Περιορισμός αποτελεσμάτων
  1. 541
    Progress in Artificial Intelligence 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… with Applications -- A Logic Programming System for Evolving Programs with Temporal Operators -- On Improving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 542
    Foundations of Computer Science Potential-Theory-Cognition /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… - An inductive logic programming approach -- The composition heuristic -- The job assignment problem: A study…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 543
    Intelligent Distributed Computing IV Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 544
    Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 545
    2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 2008)
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Classification -- Proteins and Cells -- On Mining Protein Unfolding Simulation Data with Inductive Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 546
    Handbook of Model Checking
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 547
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 548
    Algorithmic Learning Theory 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… to Classification Problems -- Probabilistic Inductive Logic Programming -- Hidden Markov Modelling Techniques…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 549
    Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… of Linear Type Isomorphisms -- Choice Logic Programs and Nash Equilibria in Strategic Games -- Resolution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 550
    Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… in CLP -- Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 551
    Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Graphs -- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language -- A Cost-Bounded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 552
    Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… logic programs from examples -- Automated verification of behavioural properties of prolog programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 553
    Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Innocence -- Higher-Order Programs -- An Improved Extensionality Criterion for Higher-Order Logic Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 554
    MICAI 2000: Advances in Artificial Intelligence Mexican International Conference on Artificial Intelligence Acapulco, Mexico, April 11-14, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… the Threshold Accepting Algorithm -- A Practical Approach for Logic Program Analysis and Transformation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 555
    Foundations of Intelligent Systems 11th International Symposium, ISMIS'99, Warsaw, Poland, June 8-11, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Implementing prioritized logic programming -- Extending description logics with generalized quantification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 556
    PRICAI'98: Topics in Artificial Intelligence 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 557
    Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for the Additives -- A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 558
    Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 559
    LATIN 2000: Theoretical Informatics 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Logic, Programming Theory -- From Semantics to Spatial Distribution -- On the Expressivity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 560
    Artificial Intelligence XXXIV 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… LOGIC -- Programming Without Program or How To Program in Natural Language Utterances -- Capturing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email