Advanced Research PortalResearch outputsSampler Programs: The Semantics of Abstract Constraint Progr...
View graph of relations

By same authors

  1. On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning

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

  2. The Return of xorro

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

  3. Towards Leveraging Backdoors in Qualitative Constraint Networks

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

  4. Variable Elimination for DLP-Functions

    Research output: Contribution to conference › Abstract › Scientific › peer-review

  5. Answer Set Programming: Related with Other Solving Paradigms

    Research output: Contribution to journal › Article › Scientific › peer-review

Sampler Programs: The Semantics of Abstract Constraint Programs Revisited

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

Researchers

Research units

Details

Original languageEnglish
Title of host publicationTechnical Communications of the 26th International Conference on Logic Programming
EditorsManuel Hermenegildo, Torsten Schaub
Publication statusPublished - 2010
MoE publication typeA4 Article in a conference publication

ID: 639261

Aalto University is a multidisciplinary university, where science and art meet technology and business.
Research Information
Privacy Notice