Εμφανίζονται 381 - 400 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 381
    A Brief History of Computing
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Logic Programming Languages -- Syntax and Semantics -- Software Engineering -- What is Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 382
    Programming Logics Essays in Memory of Harald Ganzinger /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 383
    Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… for Proteomics Data Analysis Using rule-based Mining -- Probabilistic Logic Programming in Action -- Persistent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 384
    Automatic Program Development A Tribute to Robert Paige /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Queries -- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 385
    Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Evaluation of Tabled Prolog: Beyond Pure Logic Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 386
    Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Checking Agent Dialogues -- Modeling and Verification of Distributed Autonomous Agents Using Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 387
    Argumentation in Artificial Intelligence
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Introduction -- Arguments with Structure -- Argumentation Based on Classical Logic -- Argument-based Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 388
    Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 389
    Discovery Science Second International Conference, DS'99, Tokyo, Japan, December 6-8, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Acquisition Using Inductive Logic Programming -- Automatic Acquisition of Image Processing Procedures from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 390
    Εργαστηριακές Ασκήσεις Τεχνητής Νοημοσύνης με τη Γλώσσα Prolog
    Λήψη πλήρους κειμένου
    Λήψη πλήρους κειμένου
    203
  11. 391
    Semirings for Soft Constraint Solving and Programming
    ανά Bistarelli, Stefano
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 392
    Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… in the Application Layer -- Context-Aware Publish Subscribe in Mobile Ad Hoc Networks -- Session 2. Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 393
    Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011. Proceedings, Part I /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 394
    Progress in Artificial Intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Vivid agents arguing about distributed extended logic programs -- Approximate reasoning -- New results…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 395
    Generative and Component-Based Software Engineering First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Using Reflective Logic Programming to Describe Domain Knowledge as an Aspect -- Aspect Weaving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 396
    Formal Concept Analysis 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… of Probably Approximately Correct Implication Bases. -Formal Concept Analysis in a Logical Programming Setting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 397
    Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Approximating any Logic Program by a CS-Program.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 398
    Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Type Inference by Coinductive Logic Programming -- About the Formalization of Some Results…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 399
    A Tight, Practical Integration of Relations and Functions
    ανά Boley, Harold, Boley, Harold
    Έκδοση 1999
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 400
    Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Opponent Models -- Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email