Εμφανίζονται 601 - 620 Αποτελέσματα από 647 για την αναζήτηση '"logic programming"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 601
    Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…. Feature Models -- Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 602
    Knowledge Science, Engineering and Management Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Analysis -- A Diagrammatic Reasoning System for -- Fuzzy Constraint Logic Programming with Answer Set…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 603
    Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Dependencies -- Querying Incomplete Data with Logic Programs: ER Strikes Back -- Prioritized Preferences…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 604
    Methodologies for Knowledge Discovery and Data Mining Third Pacific-Asia Conference, PAKDD'99, Beijing, China, April 26-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Valid in Volatility Data Environment -- An Induction Algorithm Based on Fuzzy Logic Programming -- Rule…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 605
    New Frontiers in Artificial Intelligence Joint JSAI 2001 Workshop Post-Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for the Unmanned Aerial Vehicle -- The Variable Precision Rough Set Inductive Logic Programming Model and Web Usage…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 606
    Knowledge Discovery and Data Mining. Current Issues and New Applications Current Issues and New Applications: 4th Pacific-Asia Conference, PAKDD 2000 Kyoto, Japan, April 18-20, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Discovering Protein Functional Models Using Inductive Logic Programming -- Mining Web Transaction Patterns…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 607
    On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. Part II /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- On Managing Changes in the Ontology-Based E-government -- XML Processing -- CLP(Flex): Constraint Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 608
    The Semantic Web - ISWC 2009 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Storage RDF Data with Rule-Based Entailment Regimes -- Decidable Order-Sorted Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 609
    AI 2001: Advances in Artificial Intelligence 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Logic Program Updates -- Reasoning with Multimedia Information Using Symbolic Projection -- Invited…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 610
    Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Projections -- A Compiler Generator for Constraint Logic Programs -- The Supercompiler SCP4: General Structure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 611
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… system for checking termination of queries to logic programs -- Mosel: A sound and efficient tool for M2L…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 612
    Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs -- Rough Set Approach to Rule…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 613
    The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Approach -- Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 614
    AI*IA 2009: Emergent Perspectives in Artificial Intelligence XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Framework Based on Named GrAphS -- Pstable Semantics for Logic Programs with Possibilistic Ordered…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 615
    Μελέτη των διερμηνευτών (scripting languages) που χρησιμοποιούνται στο παγκόσμιο ιστό, το διαδίκτυο, την εικονική πραγματικότητα και σε σχετικές τεχνολογίες και ανάπτυξη πιλοτικού συστήματος δικτυοκεντρικού διερμηνευτή
    ανά Ψιστάκης, Ιωσήφ
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Thesis
  16. 616
    Advances in Web Based Learning – ICWL 2007 6th International Conference Edinburgh, UK, August 15-17, 2007 Revised Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 617
    Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Integrated Microarray Data -- Using Data Mining for Dynamic Level Design in Games -- A Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 618
    Business Information Systems Workshops BIS 2019 International Workshops, Seville, Spain, June 26-28, 2019, Revised Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… attacks on cryptocurrency wallets -- Analyzing Transaction Fees with Probabilistic Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 619
    Advanced Topics in Artificial Intelligence 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Learning Logic Programs with Local Variables from Positive Examples -- Estimating Problem Value…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 620
    Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Semantics for Logic Programs with Uncertainty -- Which Is the Worst-Case Nash Equilibrium? -- A Unique…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email