Εμφανίζονται 461 - 480 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,24δλ Περιορισμός αποτελεσμάτων
  1. 461
    Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…, Temporal Logic Databases -- Revision Programming = Logic Programming + Integrity Constraints -- Quantifiers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 462
    Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 463
    Foundations and Applications of Mis A Model Theory Approach /
    ανά Takahara, Yasuhiko, Liu, Yongmei
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 464
    Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 465
    Advances in Artificial Intelligence 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7-9, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Cost Performance -- Stratified Partial-Order Logic Programming -- Stratified Partial-Order Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 466
    Symbolic and Quantitative Approaches to Reasoning and Uncertainty European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- On bottom-up pre-processing techniques for automated default reasoning -- Probabilisitc Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 467
    KI 2002: Advances in Artificial Intelligence 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Discriminations: A Hybrid Approach for Relational Objects -- Logic Programming - Theorem Proving - Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 468
    Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 469
    Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 470
    Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 471
    Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 472
    Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 473
    Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Fuzzy Set Inclusion Index -- Towards Categorical Fuzzy Logic Programming -- Probability-Possibility…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 474
    Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… and Termination of Simply-Moded Logic Programs with Dynamic Scheduling -- The Def-inite Approach to Dependency…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 475
    Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Hierarchical Automata in Interactive Theorem Provers -- Refinement Calculus for Logic Programming in Isabelle…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 476
    Programming Languages and Systems 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Languages -- Flow-Directed Closure Conversion for Typed Languages -- Directional Type Checking for Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 477
    Practice and Theory of Automated Timetabling III Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Timetabling -- Employee Timetabling -- Cyclical Staff Scheduling Using Constraint Logic Programming -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 478
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 479
    Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… in a Metamodel -- Possibilistic Semantics for Logic Programs with Ordered Disjunction -- Semantic Web…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 480
    Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Security Protocols Verification in Abductive Logic Programming: A Case Study -- Complex Adaptive Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email