Showing 321 - 340 results of 647 for search '"logic programming"', query time: 0.12s Refine Results
  1. 321
    Paradigms of artificial intelligence programming : Case studies in common LISP /
    by Norvig, Peter
    Published 1992
    Table of Contents: “…, 9. Efficiency Issues, 10. Low-Level Efficiency Issues, 11. Logic Programming, 12. Computing Logic…”
    Book
  2. 322
    PRICAI 2000 Topics in Artificial Intelligence 6th Pacific Rim International Conference on Artificial Intelligence Melbourne, Australia, August 28 - September 1, 2000 Proceedings /
    Published 2000
    Table of Contents: “…Invited Talks -- Logic and Foundations of AI -- Induction and Logic Programming -- Reinforcement…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 323
    Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
    Published 2015
    Table of Contents: “…-Weighted Automata -- Foundations of Logic Programming in Hybridised Logics -- What Is a Derived Signature…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 324
    Machine Learning: ECML'97 9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Proceedings /
    Published 1997
    Table of Contents: “… for generalization based on confirmatory induction -- Learning Linear Constraints in Inductive Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 325
    Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
    Published 1998
    Table of Contents: “…An inductive logic programming query language for database mining -- Bertrand Russell, Herbrand…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 326
    Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings /
    Published 2005
    Table of Contents: “… -- Contributed Papers -- Probabilistic Space Partitioning in Constraint Logic Programming -- Chi-Square Matrix…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 327
    Trends in Mathematics and Computational Intelligence
    Published 2019
    Table of Contents: “…? (Evgenii Vityaev) -- Chapter 5. Symbolic Unfolding of Multi-adjoint Logic Programs (Gines Moreno) etc.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 328
    Interactions Between Computational Intelligence and Mathematics
    Published 2018
    Table of Contents: “… Reasoning on Molecular Interaction Maps -- Efficient unfolding of fuzzy connectives for multi-adjoint logic…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 329
    ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ
    “… programming).<br/>Εξισωτικός λογικός προγραμματισμός (equational logic programming).<br/><br/>Παραδείγματα και…”
    Get full text
    7
  10. 330
    Encyclopedia of Machine Learning
    Published 2010
    Table of Contents: “…Clustering -- Statistical Machine Learning -- Statistical Language Learning -- Inductive Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 331
    Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  12. 332
    Principles and Practice of Semantic Web Reasoning Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings /
    Published 2004
    Table of Contents: “… About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 333
    Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
    Published 2005
    Table of Contents: “… in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 334
    Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
    Published 2018
    Table of Contents: “… of computational complexity -- Parameterized complexity -- Logic programming and constraints -- Automated deduction…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 335
    Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 336
    Proceedings of the Second International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'17) Volume 1 /
    Published 2018
    Table of Contents: “… of Active Logic and Extended Logical Programs -- About Transformations of a Numerical Time Series using a…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 337
    Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  18. 338
    Constraint Solving and Planning with Picat
    Full Text via HEAL-Link
    Electronic eBook
  19. 339
    Applications of Declarative Programming and Knowledge Management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  20. 340
    Scalable Uncertainty Management 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search