Beyond Success and Failure

Sandro Etalle, Femke van Raamsdonk

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Downloads (Pure)

    Abstract

    We study a new programming framework based on logic programming where success and failure are replaced by predicates for adequacy and inadequacy. Adequacy allows to extract a result from a partial computation, and inadequacy allows to flexibly constrain the search space. In this parameterized setting, the classical result of independence of the selection rule does not hold. We show that, under certain conditions, whenever there exists an adequate derivation there is one in which only so-called needed atoms are selected. This result is applied in a practical setting where adequacy is expressed using a notion of request.
    Original languageEnglish
    Title of host publicationLogic Programming
    Subtitle of host publicationProceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998
    EditorsJoxan Jaffar
    PublisherMIT Press
    Pages190-205
    Number of pages16
    ISBN (Print)0-262-60031-5
    Publication statusPublished - 1998
    Event15th Joint International Conference and Symposium on Logic Programming, JICSLP 1998 - Manchester, United Kingdom
    Duration: 15 Jun 199819 Jun 1998
    Conference number: 15

    Conference

    Conference15th Joint International Conference and Symposium on Logic Programming, JICSLP 1998
    Abbreviated titleJICSLP
    CountryUnited Kingdom
    CityManchester
    Period15/06/9819/06/98

    Fingerprint Dive into the research topics of 'Beyond Success and Failure'. Together they form a unique fingerprint.

    Cite this