Εμφανίζονται 341 - 360 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 341
    Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Logic Programming and Nonmonotonic Reasoning -- Preferred Extensions of Argumentation Frameworks: Query…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 342
    Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness -- Product Rules…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 343
    Cognitive Engineering A Distributed Approach to Machine Intelligence /
    ανά Konar, Amit, Jain, Lakhmi
    Έκδοση 2005
    Πίνακας περιεχομένων: “…The Psychological Basis of Cognitive Modeling -- Parallel and Distributed Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 344
    Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… for CSP Specifications -- Fast Offline Partial Evaluation of Large Logic Programs -- An Inference…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 345
    Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Collaboration Between Smart Web Services -- Tightly Integrated Fuzzy Description Logic Programs Under the Answer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 346
    Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Metric Logic Program Explanations for Complex Separator Functions -- A Two-Stage Online Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 347
    Logics in Artificial Intelligence European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 348
    Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming -- Modelling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 349
    Smart Education and e-Learning 2018
    Έκδοση 2019
    Πίνακας περιεχομένων: “… of Intellectual Activity on Creating Programs in the Language of Logical Programming -- Intellectualization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 350
    Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 351
    Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 352
    A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- The Potential of Logic Programming as a Computational Tool to Model Morality.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 353
    New Approaches in Intelligent Control Techniques, Methodologies and Applications /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Logic Program EVALPSN and its Application to Intelligent Control.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 354
    Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Conditions of Logic Programs -- An Abstract Analysis of the Probabilistic Termination of Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 355
    Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Reasoning About Epistemic States of Agents by Modal Logic Programming -- Strongly Complete Axiomatizations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 356
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… and Implement It in Logic Programming! -- Contributed Papers -- On Preference Representation on an Ordinal Scale…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 357
    KI 2003: Advances in Artificial Intelligence 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Systematic Account of Different Logic Programming Semantics -- How to Build a Foundational Ontology…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 358
    Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… user-centric approach -- Security Risk Analysis by Logic Programming Risk Modeling -- Utilizing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 359
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 360
    Principles and Practice of Semantic Web Reasoning International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of Semantic Web Applications -- Semantic Web Logic Programming Tools -- Web Rules Need Two Kinds of Negation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email