Showing 201 - 220 results of 647 for search '"logic programming"', query time: 0.17s Refine Results
  1. 201
    Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  2. 202
    Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  3. 203
    Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers /
    Published 2004
    Table of Contents: “… Agents with Logic Programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 204
    Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  5. 205
    Transactions and Change in Logic Databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso /
    Published 1998
    Table of Contents: “… database queries -- From extensional to intensional knowledge: Inductive logic programming techniques…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 206
    Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers /
    Published 2013
    Table of Contents: “… Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 207
    The Art of Prolog Advanced programming techniques
    by Shapiro, Ehud, Sterling, Leon
    Published 1986
    “…MIT Press Series in Logic Programming…”
    Book
  8. 208
    The art of Prolog advanced programming techniques
    by Sterling, Leon
    Published 1994
    “…MIT Press series in logic programming…”
    Book
  9. 209
    Logic for computer science and artificial intelligence /
    by Caferra, Ricardo, 1945-
    Published 2011
    Table of Contents: “…Foundations of Logic Programming…”
    Full Text via HEAL-Link
    eBook
  10. 210
    Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
    Published 2014
    Table of Contents: “…-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 211
    Logic for Computer Scientists
    by Schöning, Uwe
    Published 2008
    Table of Contents: “…Propositional Logic -- Predicate Logic -- Logic Programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 212
    9781439829615.pdf
    Published 2020
    “… for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order…”
  13. 213
    Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings /
    Published 2004
    Table of Contents: “… for Abductive Logic Programming with Constraints -- Hierarchical Decision Making by Autonomous Agents…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 214
    Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
    Published 2004
    Table of Contents: “… in Computational Logic -- Synthesis of Programs in Computational Logic -- Developing Logic Programs from…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 215
    Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /
    Published 2000
    Table of Contents: “…-of-Core Functional Programming with Type-Based Primitives -- Functional-Logic Programming -- A Functional…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 216
    Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
    Published 2001
    Table of Contents: “…Synthesis -- A Formal Framework for Synthesis and Verification of Logic Programs -- Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 217
    Practical Aspects of Declarative Languages Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings /
    Published 2001
    Table of Contents: “…A Model Checker for Value-Passing Mu-Calculus Using Logic Programming -- Design and Implementation…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 218
    Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings /
    Published 2009
    Table of Contents: “…Invited Papers and Tutorial -- Integrating Logic Programming and Production Systems in Abductive…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 219
    Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers /
    Published 1999
    Table of Contents: “… in the Synthesis of Logic Programs -- Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 220
    Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /
    Published 1997
    Table of Contents: “… sensitive logics and syntactic constraints -- Inessential features -- Linear logic as logic programming…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search