Showing 241 - 260 results of 647 for search '"logic programming"', query time: 0.19s Refine Results
  1. 241
    Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings /
    Published 2007
    Table of Contents: “…Probabilistic Planning in Hybrid Probabilistic Logic Programs -- Top-k Retrieval in Description…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 242
    Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
    Published 2006
    Table of Contents: “… Transformations -- An Algorithm for Local Variable Elimination in Normal Logic Programs -- Removing Superfluous…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 243
    Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
    Published 2019
    Table of Contents: “…Analysis of term rewriting -- Logic-based distributed/concurrent programming -- Analysis of logic…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 244
    Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings /
    Published 1998
    Table of Contents: “… through an Automatically Generated Concurrent Logic Program -- Multi-agent Systems Development as a…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 245
    Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
    Published 2015
    Table of Contents: “… Closures -- Semantic Issues in Logic Programming -- On completeness of logic programs -- Polynomial…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 246
    Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
    Published 2002
    Table of Contents: “… Engineering Structures with Constrained Objects -- Compiler Construction in Higher Order Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 247
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  8. 248
    Proceedings of the 26th Annual International Conference on Machine Learning
    Published 2009
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 249
    Proceedings of the 25th international conference on Machine learning
    Published 2008
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 250
    Diffusion in Social Networks
    Table of Contents: “… Seed Problem -- The Independent Cascade and Linear Threshold Models -- Logic Programming Based…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 251
    Programming Languages and Operational Semantics A Concise Overview /
    by Fernández, Maribel
    Published 2014
    Table of Contents: “… of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 252
    A Concise Introduction to Mathematical Logic
    by Rautenberg, Wolfgang
    Published 2010
    Table of Contents: “…Propositional Logic -- First-Order Logic -- Complete logical Calculi -- Foundations of Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 253
    Proceedings of the 24th international conference on Machine learning
    Published 2007
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 254
    Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings /
    Published 2019
    Table of Contents: “…, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 255
    Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
    Published 2018
    Table of Contents: “… Theory -- Logic Programming -- Ontology -- Rank Aggregation -- Uncertainty -- Clustering -- Fuzzy logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 256
    Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings /
    Published 2013
    Table of Contents: “…Invited Talks -- Inconsistency Management for Description Logic Programs and Beyond -- Reasoning…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 257
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “… -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 258
    Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
    Published 2015
    Table of Contents: “… Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 259
    Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings /
    Published 2002
    Table of Contents: “…Multi-agent Systems -- A Logic Programming Language for Multi-agent Systems -- A Proof-System…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 260
    Constraint Handling Rules Current Research Topics /
    Published 2008
    Table of Contents: “… Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search