Matches in UGent Biblio for { <https://biblio.ugent.be/publication/5669936#aggregation> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- aggregation classification "C1".
- aggregation creator B124964.
- aggregation creator B124965.
- aggregation creator person.
- aggregation creator person.
- aggregation date "2014".
- aggregation format "application/pdf".
- aggregation hasFormat 5669936.bibtex.
- aggregation hasFormat 5669936.csv.
- aggregation hasFormat 5669936.dc.
- aggregation hasFormat 5669936.didl.
- aggregation hasFormat 5669936.doc.
- aggregation hasFormat 5669936.json.
- aggregation hasFormat 5669936.mets.
- aggregation hasFormat 5669936.mods.
- aggregation hasFormat 5669936.rdf.
- aggregation hasFormat 5669936.ris.
- aggregation hasFormat 5669936.txt.
- aggregation hasFormat 5669936.xls.
- aggregation hasFormat 5669936.yaml.
- aggregation isPartOf urn:isbn:9781450329477.
- aggregation language "eng".
- aggregation publisher "Association for Computing Machinery (ACM)".
- aggregation rights "I have transferred the copyright for this publication to the publisher".
- aggregation subject "Science General".
- aggregation title "Heuristics entwined with handlers combined: from functional specification to logic programming implementation".
- aggregation abstract "A long-standing problem in logic programming is how to cleanly separate logic and control. While solutions exist, they fall short in one of two ways: some are too intrusive, because they require significant changes to Prolog’s underlying implementation; others are lacking a clean semantic grounding. We resolve both of these issues in this paper. We derive a solution that is both lightweight and principled. We do so by starting from a functional specification of Prolog based on monads, and extend this with the effect handlers approach to capture the dynamic search tree as syntax. Effect handlers then express heuristics in terms of tree transformations. Moreover, we can declaratively express many heuristics as trees themselves that are combined with search problems using a generic entwining handler. Our solution is not restricted to a functional model: we show how to implement this technique as a library in Prolog by means of delimited continuations.".
- aggregation authorList BK320871.
- aggregation aggregates 5669961.
- aggregation isDescribedBy 5669936.
- aggregation similarTo LU-5669936.