Showing 501 - 520 results of 647 for search '"logic programming"', query time: 0.14s Refine Results
  1. 501
    KI-97: Advances in Artificial Intelligence 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings /
    Published 1997
    Table of Contents: “… -- Integration of image sequence evaluation and fuzzy metric temporal logic programming -- Designing a counter…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 502
    Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
    Published 2002
    Table of Contents: “… of Quantifier Elimination with Constraint Logic Programming -- AISC Regular Talks -- Towards a Hybrid Symbolic…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 503
    Technologies for Constructing Intelligent Systems 2 Tools /
    Published 2002
    Table of Contents: “… of Fril++ for object-oriented logic programming with uncertainty and fuzziness -- On some simplifications…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 504
    Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 505
    Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  6. 506
    Algorithmic Learning Theory 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings /
    Published 1999
    Table of Contents: “… -- Inductive Learning with Corroboration -- Flattening and Implication -- Induction of Logic Programs Based…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 507
    Intelligent Agents III. Agent Theories, Architectures, and Languages ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings /
    Published 1997
    Table of Contents: “… diagnosis agent based on logic programming -- Reactive and motivational agents: Towards a collective minder…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 508
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
    Published 2006
    Table of Contents: “… Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 509
    Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
    Published 2019
    Table of Contents: “… on Defeasible Reasoning for Description Logics -- Temporal Logic Programs with Temporal Description Logic Axioms…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 510
    Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /
    Published 2010
    Table of Contents: “… and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 511
    Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- Reasoning on Data Models in Schema Translation -- Tightly Integrated Probabilistic Description Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 512
    TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings /
    Published 1997
    Table of Contents: “… problem -- A semantic framework for functional logic programming with algebraic polymorphic types…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 513
    Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings /
    Published 2015
    Table of Contents: “… Intelligence -- Allowing Cyclic Dependencies in Modular Logic Programming -- Probabilistic Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 514
    AI*IA 97: Advances in Artificial Intelligence 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings /
    Published 1997
    Table of Contents: “… -- Introducing abduction into (Extensional) inductive logic programming systems -- An efficient algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 515
    Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Circuits -- Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT -- Automata…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 516
    AI*IA 2001: Advances in Artificial Intelligence 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings /
    Published 2001
    Table of Contents: “… Satisfiability -- Abduction with Penalization in Logic Programming -- Causal Simulation and Diagnosis of Dynamic…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 517
    Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  18. 518
    Agent-Based Approaches in Economic and Social Complex Systems V Post-Proceedings of The AESCS International Workshop 2007 /
    Published 2009
    Table of Contents: “… of Societal Evolution -- Modeling a small agent society based on social choice logic programming -- Production…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 519
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 520
    Information Security and Cryptology 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers /
    Published 2009
    Table of Contents: “… -- Secure Protocols -- SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming -- Batch…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search