Showing 441 - 460 results of 647 for search '"logic programming"', query time: 0.15s Refine Results
  1. 441
    Foundations of Computational Intelligence Volume 2 Approximate Reasoning /
    Published 2009
    Table of Contents: “… -- Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application -- Approximate Reasoning…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 442
    Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
    Published 2018
    Table of Contents: “… Programs Logic Programs? -- Illi Isabellistes Se Custodes Egregios Praestabant -- Reasoning about Weak…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 443
    Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings /
    Published 2019
    Table of Contents: “… of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 444
    Advances in Artificial Intelligence -- IBERAMIA 2004 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings /
    Published 2004
    Table of Contents: “… for Generic STRIPS Planning -- Improving Numerical Reasoning Capabilities of Inductive Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 445
    Knowledge Discovery in Databases: PKDD 2003 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings /
    Published 2003
    Table of Contents: “… of Naïve Bayes in Continuous Domains -- Application of Inductive Logic Programming to Structure-Based Drug…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 446
    Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Analysis and Security -- Security Types for Mobile Safe Ambients -- Improving Functional Logic Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 447
    Rewriting Techniques and Applications 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Logic Programs -- On the Modularity of Confluence in Infinitary Term Rewriting -- mu-term: A Tool…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 448
    New Directions in Rough Sets, Data Mining, and Granular-Soft Computing 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings /
    Published 1999
    Table of Contents: “… and Multi-criteria Decision Problems -- The Generic Rough Set Inductive Logic Programming Model and Motifs…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 449
    Artificial Intelligence Applications and Innovations III
    Published 2009
    Table of Contents: “… Filtering -- Towards Predicate Answer Set Programming via Coinductive Logic Programming -- An Adaptive…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 450
    Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /
    Published 2007
    Table of Contents: “… for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 451
    Fuzzy Logic in Artificial Intelligence IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers /
    Published 1999
    Full Text via HEAL-Link
    Electronic eBook
  12. 452
    Data Mining in Finance Advances in Relational and Hybrid Methods /
    Full Text via HEAL-Link
    Electronic eBook
  13. 453
    Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  14. 454
    Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings /
    Published 2007
    Table of Contents: “… and Refinement Framework for Verifying Security Protocols Based on Logic Programming -- Secure Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 455
    Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 456
    Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  17. 457
    Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
    Published 1997
    Table of Contents: “… to higher order logic programming -- Human-style theorem proving using PVS -- A hybrid approach to verifying…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 458
    Computational Social Network Analysis Trends, Tools and Research Advances /
    Published 2010
    Table of Contents: “… -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 459
    Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
    Published 2014
    Table of Contents: “… -- Towards an Approximative Ontology-Agnostic Approach for Logic Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 460
    Computational Learning Theory 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Complexity of Learning Logic Programs -- Statistical Theory of Learning and Pattern Recognition…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search