Showing 361 - 380 results of 647 for search '"logic programming"', query time: 0.13s Refine Results
  1. 361
    Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  2. 362
    Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /
    Published 2006
    Table of Contents: “… for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 363
    Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency /
    Published 2015
    Table of Contents: “… -- Paraconsistent Annotated Logic Program EVAPSN and Its Applications -- The New Hardware Structure of the Emmy II…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 364
    Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. /
    Published 2015
    Table of Contents: “… Data -- Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms -- Planning…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 365
    Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
    Published 2008
    Table of Contents: “… to Say -- Regular Papers -- Strongly Equivalent Temporal Logic Programs -- Consistency Preservation…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 366
    Machine Learning: ECML-98 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings /
    Published 1998
    Table of Contents: “… and learning from positive examples only -- An inductive logic programming framework to learn a concept from…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 367
    Analysis and Visualization Tools for Constraint Programming Constraint Debugging /
    Published 2000
    Table of Contents: “… for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 368
    Mobile Agents 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings /
    Published 2002
    Table of Contents: “… and Logic Programming -- Empowering Mobile Software Agents -- An Intrusion Detection System for Aglets…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 369
    Logical Foundations for Rule-Based Systems
    by Ligêza, Antoni
    Published 2006
    Table of Contents: “… -- Rule-Based Systems in First-Order Logic -- Inference Control in Rule-Based Systems -- Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 370
    Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /
    Published 2017
    Table of Contents: “…Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 371
    Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “… Image Analysis - A Vision of Logic Programming -- Text Classification and Transfer Learning based…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 372
    Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars /
    Published 2012
    Table of Contents: “… Constituent Order -- A Formal Deconstruction of Fluid Construction Grammar -- A Logic Programming Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 373
    Models of Computation
    by Bruni, Roberto, Montanari, Ugo
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  14. 374
    The NCL Natural Constraint Language
    by Zhou, Jianyang
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  15. 375
    Logical and Relational Learning
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  16. 376
    Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Nonmonotonic Description Logic Programs: Implementation and Experiments -- Implementing Efficient Resource…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 377
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    Published 2007
    Table of Contents: “… for Normal Logic Programs -- Permutative Additives and Exponentials -- Algorithms for Propositional Model…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 378
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Published 2001
    Table of Contents: “…-Set-Theoretic Approach -- Logic Programming -- Reexecution-Based Analysis of Logic Programs with Delay…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 379
    Programming Languages and Systems 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 Proceedings /
    Published 1999
    Table of Contents: “…-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs -- An Idealized MetaML…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 380
    Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers /
    Published 1997
    Table of Contents: “… of logic programs by abstract diagnosis -- Abstract interpretation of the ?-calculus -- Abstract…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search