Search Results - "Coinductive Logic Programming"

Search alternatives:

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Cover Image

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

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.11.2020
    Published in Theory and practice of logic programming (01.11.2020)
    “…Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISSN: 2075-2180, 2075-2180
    Published: Open Publishing Association 13.09.2017
    “… As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 05.08.2020
    Published in 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…”
    Get full text
    Paper
    Save to List
    Saved in:
  4. 4
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 14.09.2017
    Published in arXiv.org (14.09.2017)
    “… As in coinductive logic programming, interpretations are subsets of the complete Herbrand basis, including infinite terms…”
    Get full text
    Paper
    Save to List
    Saved in:
  5. 5
    Cover Image

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

    ISSN: 2075-2180, 2075-2180
    Published: Open Publishing Association 13.09.2017
    “…We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 14.09.2017
    Published in arXiv.org (14.09.2017)
    “…We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming…”
    Get full text
    Paper
    Save to List
    Saved in:
  7. 7
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 04.08.2022
    Published in 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…”
    Get full text
    Paper
    Save to List
    Saved in:
  8. 8
    Cover Image

    Proceedings 37th International Conference on Logic Programming (Technical Communications) by 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
    Published: Ithaca Cornell University Library, arXiv.org 15.09.2021
    Published in 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…”
    Get full text
    Paper
    Save to List
    Saved in:
  9. 9
    Cover Image

    Towards next generation logic programming systems by Bansal, Ajay

    ISBN: 9780549350811, 0549350810
    Published: 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…”
    Get full text
    Dissertation
    Save to List
    Saved in:
  10. 10
    Cover Image

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

    ISBN: 9781267165800, 1267165804
    Published: 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…”
    Get full text
    Dissertation
    Save to List
    Saved in:
  11. 11
    Cover Image

    Predicate answer set programming with coinduction by Min, Richard Kyunglib

    ISBN: 1109408331, 9781109408331
    Published: ProQuest Dissertations & Theses 01.01.2009
    “…We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF ) resolution…”
    Get full text
    Dissertation
    Save to List
    Saved in:
  12. 12
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 20.05.2014
    Published in 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…”
    Get full text
    Paper
    Save to List
    Saved in:

Search Tools: