Beyond Success and Failure


Share/Save/Bookmark

Etalle, Sandro and Raamsdonk, Femke van (1998) Beyond Success and Failure. In: Joint International Conference and Symposium on Logic Programming, JICSLP 1998, 15-19 June 1998, Manchester, UK (pp. pp. 190-205).

open access
[img]
Preview
PDF
191kB
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.
Item Type:Conference or Workshop Item
Copyright:© 1998 MIT Press
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/56217
Conference URL:http://www.cs.man.ac.uk/~kung-kiu/jicslp98/
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page