Showing 221 - 240 results of 647 for search '"logic programming"', query time: 0.19s Refine Results
  1. 221
    Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “… Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 222
    Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
    Published 2000
    Table of Contents: “…, Knowledge Representation, and Bayesian Decision Theory -- Program Development (LOPSTR) -- Logic Program…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 223
    Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings /
    Published 1998
    Table of Contents: “…Logic programming and model checking -- CAT: The Copying Approach to Tabling -- SICStus MT-A…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 224
    Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers /
    Published 2003
    Table of Contents: “… -- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming -- Translating Datalog…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 225
    Learning Language in Logic
    Published 2000
    Table of Contents: “…Introductions & Overviews -- An Introduction to Inductive Logic Programming and Learning Language…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 226
    Data Mining Using Grammar Based Genetic Programming and Applications
    by Wong, Man Leung, Leung, Kwong Sak
    Published 2002
    Table of Contents: “…An Overview of Data Mining -- An Overview on Evolutionary Algorithms -- Inductive Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 227
    Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information /
    by Cao, Tru Hoang
    Published 2010
    Table of Contents: “…Fuzzy Conceptual Graphs -- Annotated Fuzzy Logic Programming -- Fuzzy Conceptual Graph Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 228
    Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings /
    Published 2013
    Table of Contents: “… History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 229
    Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Generator for Lustre Programs -- Logic programming and CLP -- Efficient Structural Information Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 230
    Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
    Published 1998
    Table of Contents: “… -- Logic Programming -- Analysis of Normal Logic Programs -- The Correctness of Set-Sharing -- Deriving…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 231
    Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “…Verification and Analysis -- Searching Semantically Equivalent Code Fragments in Logic Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 232
    Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings /
    Published 2006
    Table of Contents: “…Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 233
    Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers /
    Published 2000
    Table of Contents: “… Logic Programs -- Imperative Program Specialisation: An Approach Using CLP -- Specialising Finite Domain…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 234
    Algorithmic Learning Theory 9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings /
    Published 1998
    Table of Contents: “…Editors' Introduction -- Editors' Introduction -- Inductive Logic Programming and Data Mining…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 235
    Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures /
    Published 2008
    Table of Contents: “… Logics, Logic Programs and Description Logic Programs -- Attempto Controlled English for Knowledge…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 236
    Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /
    Published 2001
    Table of Contents: “… Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 237
    A Concise Introduction to Mathematical Logic
    by Rautenberg, Wolfgang
    Published 2006
    Table of Contents: “…Propositional Logic -- Predicate Logic -- Gödel’s Completeness Theorem -- The Foundations of Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 238
    Handbook of Philosophical Logic
    Published 2005
    Table of Contents: “…Knowledge Representation with Logic Programs -- The Resolution Principle -- How to Go Nonmonotonic.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 239
    Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
    Published 2014
    Table of Contents: “… engineering -- Reasoning about belief and knowledge -- Cooperation and coordination -- Constraint and logic…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 240
    Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Programming over Finite Domains -- Functional Plus Logic Programming with Built-In and Symbolic Constraints…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search