Search Results - "constraint answer set programming"

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Cover Image

    Clingo goes linear constraints over reals and integers by JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTEN

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.09.2017
    Published in Theory and practice of logic programming (01.09.2017)
    “…The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Constraint answer set solver EZCSP and why integration schemas matter by BALDUCCINI, MARCELLO, LIERLER, YULIYA

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.07.2017
    Published in Theory and practice of logic programming (01.07.2017)
    “…Researchers in answer set programming and constraint programming have spent significant efforts in the development of hybrid languages and solving algorithms…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Clingcon: The next generation by BANBARA, MUTSUNORI, KAUFMANN, BENJAMIN, OSTROWSKI, MAX, SCHAUB, TORSTEN

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.07.2017
    Published in Theory and practice of logic programming (01.07.2017)
    “…We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    Relating constraint answer set programming languages and algorithms by Lierler, Yuliya

    ISSN: 0004-3702, 1872-7921
    Published: Oxford Elsevier B.V 01.02.2014
    Published in Artificial intelligence (01.02.2014)
    “…Recently a logic programming language AC was proposed by Mellarkod et al. [1] to integrate answer set programming and constraint logic programming. Soon after…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

    Scheduling of Automated Wet-Etch Stations with One Robot in Semiconductor Manufacturing via Constraint Answer Set Programming by García-Mata, Carmen L., Burtseva, Larysa, Werner, Frank

    ISSN: 2227-9717, 2227-9717
    Published: Basel MDPI AG 01.07.2024
    Published in Processes (01.07.2024)
    “…Scheduling and optimization have a central place in the research area of computing because it is increasingly important to achieve fully automated production…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    On relation between constraint answer set programming and satisfiability modulo theories by LIERLER, YULIYA, SUSMAN, BENJAMIN

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.07.2017
    Published in Theory and practice of logic programming (01.07.2017)
    “…Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Cover Image

    ASP with non-herbrand partial functions: a language and system for practical use by BALDUCCINI, MARCELLO

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.07.2013
    Published in Theory and practice of logic programming (01.07.2013)
    “…Dealing with domains involving substantial quantitative information in Answer Set Programming (ASP) often results in cumbersome and inefficient encodings…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: