Εμφανίζονται 281 - 300 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,21δλ Περιορισμός αποτελεσμάτων
  1. 281
    Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs -- Extended Fuzzy Logic Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 282
    Programming Languages: Principles and Paradigms
    ανά Gabbrielli, Maurizio, Martini, Simone
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 283
    Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- More Precise Yet Efficient Type Inference for Logic Programs -- A Few Graph-Based Relational Numerical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 284
    Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… to Reinforcement Learning Using Hybrid Probabilistic Logic Programs -- On the Relationship between Hybrid…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 285
    Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Polymorphically Typed Logic Programs Using ACI-Unification -- Experimental Papers -- Model Generation with Boolean…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 286
    New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…-Based Language for Virtual Agents -- Constraint (Logic) Programming: A Survey on Research…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 287
    Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… in Intelligent Agents -- Contextual Taxonomies -- From Logic Programs Updates to Action Description Updates…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 288
    Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 289
    Generalized Quantifiers and Computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- A Perspective on Lindström Quantifiers and Oracles -- Generalized Quantifiers in Logic Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 290
    Foundations of Intelligent Systems 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Knowledge Representation and Integration -- Knowledge Discovery and Data Mining -- Logic for AI and Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 291
    Web Knowledge Management and Decision Support 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Improvement -- Decision Support by Advanced Logic Programming -- to Part III: Decision Support by Advanced…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 292
    Progress in Artificial Intelligence 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Evora, Portugal, September 21-24, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Qualitative Theory of Shape and Structure -- Logic Programming -- A New Formulation of Tabled Resolution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 293
    Learning and Reasoning with Complex Representations PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26-30, 1996, Selected Papers /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Inductive constraint logic programming: An overview -- Some approaches to reasoning with incomplete…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 294
    Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 295
    Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… models -- Disjunctive logic programming and possible model semantics -- A non-monotonic ATMS based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 296
    Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 297
    Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures /
    Έκδοση 2011
    Πίνακας περιεχομένων: “… OWL 2 Reasoning for Linked Data -- Rules and Logic Programming for the Web -- OWL and Rules…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 298
    Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… in the DALI Logic Programming Language -- A New HTN Planning Framework for Agents in Dynamic Environments…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 299
    Perspectives of Neural-Symbolic Integration
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Generation for First-Order Logic Programs -- Learning Models of Predicate Logical Theories with Neural…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 300
    Introduction to Artificial Intelligence
    ανά Ertel, Wolfgang
    Έκδοση 2011
    Πίνακας περιεχομένων: “… -- 4: Logic Programming with PROLOG -- 5: Search, Games and Problem Solving -- 6: Reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email