Showing 301 - 320 results of 647 for search '"logic programming"', query time: 0.41s Refine Results
  1. 301
    Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
    Published 2016
    Table of Contents: “… of computational complexity -- Parameterized complexity -- Logic programming and constraints -- Automated deduction…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 302
    Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
    Published 2013
    Table of Contents: “… complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 303
    Mathematical Logic for Computer Science
    by Ben-Ari, Mordechai
    Published 2012
    Table of Contents: “…-Order Logic: Logic Programming -- First-Order Logic: Undecidability and Model Theory -- Temporal Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 304
    Innovations in Machine Learning Theory and Applications /
    Published 2006
    Table of Contents: “… -- Support Vector Inductive Logic Programming -- Neural Probabilistic Language Models -- Computational…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 305
    Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
    Published 2008
    Table of Contents: “… Grammars: Applications to Distributed Systems Design -- Constraint and Logic Programming -- Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 306
    Foundations of Information and Knowledge Systems Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings /
    Published 2004
    Table of Contents: “… Integration -- On the Security of Individual Data -- Implementing Ordered Choice Logic Programming Using…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 307
    Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings /
    Published 1997
    Table of Contents: “… to sharing analysis of logic programs -- Logical optimality of groundness analysis -- Towards a cost…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 308
    Modern Compiler Design
    Table of Contents: “… Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 309
    Advances in Probabilistic Databases for Uncertain Information Management
    Published 2013
    Table of Contents: “… Logic Programs.  .…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 310
    Journal on Data Semantics XII
    Published 2009
    Table of Contents: “… Reconciliation -- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web -- Intensional…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 311
    Rules and Rule Markup Languages for the Semantic Web Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings /
    Published 2004
    Table of Contents: “… Logic Programs -- Bossam: An Extended Rule Engine for OWL Inferencing -- Extending SWRL to Express Fully…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 312
    Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 313
    Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Hybrid Probabilistic Logic Programming Framework -- Safe Programming with Pointers Through Stateful Views…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 314
    Philosophical and Mathematical Logic
    by de Swart, Harrie, de Swart, Harrie
    Published 2018
    Table of Contents: “… and intuitionistic logic -- Chapter 8. Applications of logic and set theory: logic programming; relational databases.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 315
    The Deductive Spreadsheet
    by Cervesato, Iliano
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  16. 316
    Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
    Published 2013
    Table of Contents: “… for Coalgebraic Logic Programming -- Presenting Distributive Laws -- Interaction and observation: categorical…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 317
    Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
    Published 1997
    Table of Contents: “… implementation of logic programs -- An abductive semantics for disjunctive logic programs and its proof procedure…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 318
    Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 319
    Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings /
    Published 2009
    Table of Contents: “… and Large Data Sets -- High-Level Interaction with Relational Databases in Logic Programming -- Typed…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 320
    Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers /
    Published 2006
    Table of Contents: “… Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search