Εμφανίζονται 561 - 580 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,16δλ Περιορισμός αποτελεσμάτων
  1. 561
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 562
    SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 563
    Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Sliced Neighborhood Search -- Constraint Models for Reasoning on Unification in Inductive Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 564
    Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…-adjoint Logic Programming Framework.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 565
    AI*IA 99:Advances in Artificial Intelligence 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Search Techniques for Disjunctive Logic Programs -- Labelled Tableaux for Non-Normal Modal Logics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 566
    Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… specification construction by successive approximations -- On partial validation of logic programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 567
    Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Closed-Form Solutions in Learning Probabilistic Logic Programs by Exact Score Maximization -- Fault…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 568
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Local Shape Analysis Based on Separation Logic -- Program Verification -- Compositional Model Extraction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 569
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Predicate Logic -- Modelling Argument Accrual in Possibilistic Defeasible Logic Programming -- Generalized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 570
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Uncertainty -- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 571
    Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 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
    Πίνακας περιεχομένων: “… Systems -- Infinite and Parameterized Systems -- Verification of Parameterized Systems Using Logic Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 572
    Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…-Order Ontologies and Databases -- A Selective Semantics for Logic Programs with Preferences -- A Minimal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 573
    Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Debugging in Constraint Logic Programming -- Parallel Execution Models for Constraint Propagation -- Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 574
    Machine Learning: ECML 2000 11th European Conference on Machine Learning Barcelona, Catalonia, Spain May, 31 - June 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… with Inductive Logic Programming -- Improving Knowledge Discovery Using Domain Knowledge in Unsupervised Learning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 575
    Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 576
    Parallel Computing Technologies 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Computational Portal: Remote Access to High-Performance Computing -- Event Logic Programming -- Techniques…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 577
    Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 578
    Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Inductive Logic Programming from Multiple Genome Databases -- Clustering Pairwise Distances with Missing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 579
    Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23–28, 2016, Proceedings, Part II /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…-Agent Systems -- Large Scale Reasoning Using Allen's Interval Algebra -- Towards the Distributed Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 580
    AI*IA 2019 - Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Comparison of MCMC Sampling for Probabilistic Logic Programming -- Augmenting Datalog+- with Customizable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email