Showing 521 - 540 results of 647 for search '"logic programming"', query time: 0.15s Refine Results
  1. 521
    Discovery Science 8th International Conference, DS 2005, Singapore, October 8 – 11, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Latipes) for an Insecticide Using Decision Tree -- Support Vector Inductive Logic Programming -- Measuring…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 522
    Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Temporal Logic with Mean-Payoff Constraints -- Time Constraints with Temporal Logic Programming -- Stepwise…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 523
    Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  4. 524
    Cooperative Information Agents VII 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings /
    Published 2003
    Table of Contents: “…-Compliant Platforms -- Logic Programming for Evolving Agents -- Temporal and Spatial Analysis to Personalise…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 525
    SOFSEM 2000: Theory and Practice of Informatics 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Logic Programs -- On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 526
    Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings /
    Published 2001
    Table of Contents: “… -- Nominal Logic: A First Order Theory of Names and Binding -- Session 4 -- A Logic Programming Language…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 527
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Compactness Properties for Stable Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 528
    Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /
    Published 2006
    Table of Contents: “… Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 529
    Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21–23, 2013, Kunming, China /
    Published 2014
    Table of Contents: “… on Block Aggregation -- An R-Calculus for the Logic Programming -- An R-Calculus for the Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 530
    Progress in Artificial Intelligence 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003. Proceedings /
    Published 2003
    Table of Contents: “… Evolutionary Model -- Constraint and Logic Programming Systems (CLPS) -- Solving Set Partitioning Problems…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 531
    Encyclopedia of Machine Learning and Data Mining
    Published 2017
    Table of Contents: “… Inference -- Inductive Logic Programming -- Inductive Programming -- Inductive Transfer -- Inverse…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 532
    Intelligent Distributed Computing III Proceedings of the 3rd International Symposium on Intelligent Distributed Computing – IDC 2009, Ayia Napa, Cyprus,October 2009 /
    Published 2009
    Table of Contents: “… of Distributed Logic Programs -- A Framework for Agent-Based Evaluation of Genetic Algorithms -- Efficient…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 533
    Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings /
    Published 2012
    Table of Contents: “… -- Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms -- Learning…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 534
    Recent Advances in AI Planning 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings /
    Published 1997
    Table of Contents: “… mobile robot -- Encoding planning problems in nonmonotonic logic programs -- An argument for a hybrid HTN…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 535
    CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Calculi to Process Frameworks -- Verification Using Tabled Logic Programming -- Accepted Papers -- Open…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 536
    Data Mining, Rough Sets and Granular Computing
    Published 2002
    Table of Contents: “…, Bayes' Theorem and Rough Sets -- The Generic Rough Set Inductive Logic Programming (gRS-ILP) Model…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 537
    Intelligent Agents VIII 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers /
    Published 2002
    Table of Contents: “… on Multi-agent Architectures -- - A Dynamic Logic Programming Agent Architecture -- Running AgentSpeak(L…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 538
    Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Analysis of Downward Closed Properties of Logic Programs -- Invited Talk: ASM Formalware in the Software…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 539
    Data Warehousing and Knowledge Discovery 12th International Conference, DAWAK 2010, Bilbao, Spain, August/September 2010. Proceedings /
    Published 2010
    Table of Contents: “…Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 540
    Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search