Výsledky vyhľadávania - "coinductive logic programming"

Alternativne vyhľadávanie:

  • Zobrazené výsledky 1 - 12 z 12
Upresniť hľadanie
  1. 1
    Obálka

    Flexible coinductive logic programming Autor DAGNINO, FRANCESCO, ANCONA, DAVIDE, ZUCCA, ELENA

    ISSN: 1471-0684, 1475-3081
    Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.11.2020
    “…Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    Extending Coinductive Logic Programming with Co-Facts Autor Ancona, Davide, Dagnino, Francesco, Zucca, Elena

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: Open Publishing Association 13.09.2017
    “… As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  3. 3
    Obálka

    Flexible coinductive logic programming Autor Dagnino, Francesco, Ancona, Davide, Zucca, Elena

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 05.08.2020
    Vydané v arXiv.org (05.08.2020)
    “…Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:
  4. 4
    Obálka

    Extending Coinductive Logic Programming with Co-Facts Autor Ancona, Davide, Dagnino, Francesco, Zucca, Elena

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 14.09.2017
    Vydané v arXiv.org (14.09.2017)
    “… As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:
  5. 5
    Obálka

    Structural Resolution for Abstract Compilation of Object-Oriented Languages Autor Franceschini, Luca, Ancona, Davide, Komendantskaya, Ekaterina

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: Open Publishing Association 13.09.2017
    “…We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  6. 6
    Obálka

    Structural Resolution for Abstract Compilation of Object-Oriented Languages Autor Franceschini, Luca, Ancona, Davide, Komendantskaya, Ekaterina

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 14.09.2017
    Vydané v arXiv.org (14.09.2017)
    “…We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:
  7. 7
    Obálka

    Proceedings 38th International Conference on Logic Programming Autor Lierler, Yuliya, Morales, Jose F, Dodaro, Carmine, Dahl, Veronica, Gebser, Martin, Tekle, Tuncay

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 04.08.2022
    Vydané v arXiv.org (04.08.2022)
    “… Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:
  8. 8
    Obálka

    Proceedings 37th International Conference on Logic Programming (Technical Communications) Autor misano, Andrea, Liu, Yanhong Annie, Bogaerts, Bart, Brik, Alex, Dahl, Veronica, Dodaro, Carmine, Fodor, Paul, Pozzato, Gian Luca, Vennekens, Joost, Zhou, Neng-Fa

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 15.09.2021
    Vydané v arXiv.org (15.09.2021)
    “… Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:
  9. 9
    Obálka

    Towards next generation logic programming systems Autor Bansal, Ajay

    ISBN: 9780549350811, 0549350810
    Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.2007
    “… Some of the highly successful extensions include coinductive logic programming, tabled logic programming, constraint logic programming and answer set programming…”
    Získať plný text
    Dissertation
    Pridať do obľúbených
    Uložené v:
  10. 10
    Obálka

    Modeling and verification of real-time and cyber-physical systems Autor Saeedloei, Neda

    ISBN: 9781267165800, 1267165804
    Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.2011
    “…There has been a tremendous amount of work on incorporation of time in computation for modeling and implementing real-time systems. Most efforts incorporate…”
    Získať plný text
    Dissertation
    Pridať do obľúbených
    Uložené v:
  11. 11
    Obálka

    Predicate answer set programming with coinduction Autor Min, Richard Kyunglib

    ISBN: 1109408331, 9781109408331
    Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.2009
    “…We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF ) resolution…”
    Získať plný text
    Dissertation
    Pridať do obľúbených
    Uložené v:
  12. 12
    Obálka

    (Co)recursion in Logic Programming: Lazy vs Eager Autor Heras, Jónathan, Komendantskaya, Ekaterina, Schmidt, Martin

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 20.05.2014
    Vydané v arXiv.org (20.05.2014)
    “… In this paper, we explain lazy features of CoALP, and compare them with the loop-analysis and eager execution in Coinductive Logic Programming (CoLP…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: