Beyond Success and Failure

Sandro Etalle; Femke van Raamsdonk

Beyond Success and Failure

Sandro Etalle, Femke van Raamsdonk

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

17 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 language	English
Title of host publication	Logic Programming
Subtitle of host publication	Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998
Editors	Joxan Jaffar
Publisher	MIT Press
Pages	190-205
Number of pages	16
ISBN (Print)	0-262-60031-5
Publication status	Published - 1998
Event	15th Joint International Conference and Symposium on Logic Programming, JICSLP 1998 - Manchester, United Kingdom Duration: 15 Jun 1998 → 19 Jun 1998 Conference number: 15

Conference

Conference	15th Joint International Conference and Symposium on Logic Programming, JICSLP 1998
Abbreviated title	JICSLP
Country/Territory	United Kingdom
City	Manchester
Period	15/06/98 → 19/06/98

Access to Document

Etalle1998beyondAccepted author version, 181 KB

Cite this

@inproceedings{a0445785a137445682347a07f30a3ae2,

title = "Beyond Success and Failure",

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.",

author = "Sandro Etalle and {van Raamsdonk}, Femke",

year = "1998",

language = "English",

isbn = "0-262-60031-5",

pages = "190--205",

editor = "Joxan Jaffar",

booktitle = "Logic Programming",

publisher = "MIT Press",

address = "United States",

note = "15th Joint International Conference and Symposium on Logic Programming, JICSLP 1998, JICSLP ; Conference date: 15-06-1998 Through 19-06-1998",

}

Etalle, S & van Raamsdonk, F 1998, Beyond Success and Failure. in J Jaffar (ed.), Logic Programming: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998. MIT Press, pp. 190-205, 15th Joint International Conference and Symposium on Logic Programming, JICSLP 1998, Manchester, United Kingdom, 15/06/98.

Beyond Success and Failure. / Etalle, Sandro; van Raamsdonk, Femke.
Logic Programming: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998. ed. / Joxan Jaffar. MIT Press, 1998. p. 190-205.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Beyond Success and Failure

AU - Etalle, Sandro

AU - van Raamsdonk, Femke

N1 - Conference code: 15

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 0-262-60031-5

SP - 190

EP - 205

BT - Logic Programming

A2 - Jaffar, Joxan

PB - MIT Press

T2 - 15th Joint International Conference and Symposium on Logic Programming, JICSLP 1998

Y2 - 15 June 1998 through 19 June 1998

ER -

Beyond Success and Failure

Abstract

Conference

Access to Document

Fingerprint

Cite this