Showing 481 - 500 results of 647 for search '"logic programming"', query time: 0.15s Refine Results
  1. 481
    The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday /
    Published 2019
    Table of Contents: “… -- A coalgebraic approach to unification semantics of logic programming -- Polyadic Soft Constraints…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 482
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Published 2000
    Table of Contents: “… of Cooperating Logic Programs -- On Semantics and Correctness of Reactive Rule-Based Programs -- Compositional…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 483
    Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
    Published 2001
    Table of Contents: “…Hybrid Benders Decomposition Algorithms in Constraint Logic Programming -- Branch-and-Check: A…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 484
    Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Independent Subspace Analysis on Innovations -- On Applying Tabling to Inductive Logic Programming -- Learning…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 485
    Conceptual Structures: Theory, Tools and Applications 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings /
    Published 1998
    Table of Contents: “… graphs -- Peircean graphs for the modal logic S5 -- Fuzzy order-sorted logic programming in conceptual…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 486
    Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Theory -- Modal Satisfiability Is in Deterministic Linear Space -- Logic Programming and Co-inductive…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 487
    Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader Four Workshops held at PRICAI 2000, Melbourne, Australia, August 28 - September 1, 2000. Revised Papers /
    Published 2001
    Table of Contents: “… CBR -- Intelligent Information Agents -- Intelligent Information Agents -- Relationships between Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 488
    Programming Constraint Services High-Level Programming of Standard and New Constraint Services /
    Full Text via HEAL-Link
    Electronic eBook
  9. 489
    Provenance and Annotation of Data and Processes Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers /
    Published 2008
    Table of Contents: “… with Lightweight Annotation Requirements -- A Logic Programming Approach to Scientific Workflow Provenance Querying…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 490
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published 2014
    Table of Contents: “… for Software Validation -- Behavioral Rewrite Systems and Behavioral Productivity -- Functional Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 491
    Programming Languages and Systems First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Functional Logic Programming for Origami Construction -- A Typeful and Tagless Representation for XML…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 492
    Innovations in Intelligent Systems
    Published 2004
    Table of Contents: “… with knowledge migration -- 11. Intelligent information systems based on paraconsistent logic programs -- 12…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 493
    Advanced Topics in Artificial Intelligence 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers /
    Published 1998
    Table of Contents: “… to approximate the semantics of acceptable logic programs -- Computation in recurrent neural networks: From…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 494
    Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
    Published 1998
    Table of Contents: “… logic programs -- Verification of large state/event systems using compositionality and dependency…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 495
    Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings /
    Published 2004
    Table of Contents: “…-termination Inference for Constraint Logic Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 496
    Computational Intelligence: A Compendium
    Published 2008
    Table of Contents: “… Emotional Skills to Aid Interaction -- Logic and Reasoning -- The Paraconsistent Annotated Logic Program…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 497
    Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “… with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 498
    Logic, Reasoning, and Rationality
    Published 2014
    Table of Contents: “… the Ghent Logical Program and the “Darwinian” Selectionist Program; Thomas Nickles -- Chapter 8…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 499
    Foundations of Intelligent Systems 10th International Symposium, ISMIS '97. Charlotte, North Carolina, USA, October 15-18, 1997. Proceedings /
    Published 1997
    Table of Contents: “… prioritized circumscription in logic programs -- Extending temporal logic for capturing evolving behaviour…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 500
    Knowledge Discovery in Databases: PKDD 2005 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Using Inductive Logic Programming for Predicting Protein-Protein Interactions from Multiple Genomic Data…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search