Showing 401 - 420 results of 647 for search '"logic programming"', query time: 0.29s Refine Results
  1. 401
    Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach /
    by Montali, Marco
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  2. 402
    Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 403
    Active Mining Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003. Revised Selected Papers /
    Published 2005
    Table of Contents: “… to Discovered Rule Filtering -- Mining Chemical Compound Structure Data Using Inductive Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 404
    From Computer Literacy to Informatics Fundamentals International Conference on Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005, Proceeedings /
    Published 2005
    Table of Contents: “… Boxes as Flexible Tools for Teaching High-School Students Declarative and Procedural Aspects of Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 405
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 406
    Foundations of Rule Learning
    Full Text via HEAL-Link
    Electronic eBook
  7. 407
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part II /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  8. 408
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part III /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  9. 409
    FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Reduction for Typed Logic Programs with Subtyping -- Dynamically Ordered Probabilistic Choice Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 410
    Scalable Uncertainty Management 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Warning to Data Cleaning — Towards an Interactive Approach -- Disjunctive Fuzzy Logic Programs with Fuzzy…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 411
    Music and Artificial Intelligence Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Performance by Inductive Logic Programming -- Mimetic Development of Intonation -- Interacting with a Musical…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 412
    Coordination Technology for Collaborative Applications Organizations, Processes, and Agents /
    Published 1998
    Table of Contents: “… structure -- A cooperative approach to distributed applications engineering -- Towards logic programming…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 413
    Artificial Intelligence Today Recent Trends and Developments /
    Published 1999
    Table of Contents: “… a Logic Programming Infrastructure for Internet Programming -- Towards Autonomous, Perceptive…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 414
    Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /
    Published 2007
    Table of Contents: “… Reasoning in Agent Systems -- An Argumentation-Based Negotiation for Distributed Extended Logic Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 415
    Law and the Semantic Web Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications /
    Published 2005
    Table of Contents: “… Components: Concepts and Relations -- A Methodology to Create Legal Ontologies in a Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 416
    Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
    Published 2009
    Table of Contents: “… Environments -- Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 417
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 418
    Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings /
    Published 2001
    Table of Contents: “… Boosting -- Using Multiple Clause Constructors in Inductive Logic Programming for Semantic Parsing -- Using…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 419
    Progress in Discovery Science Final Report of the Japanese Discovery Science Project /
    Published 2002
    Table of Contents: “…'s Language Acquisition Using Inductive Logic Programming -- Some Criterions for Selecting the Best Data…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 420
    Methods and Applications of Artificial Intelligence Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11-12, 2002 Proceedings /
    Published 2002
    Table of Contents: “…-inference with Multi-neurules -- Decision Making Based on Past Problem Cases -- Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search