Výsledky vyhledávání - "Constraint Answer Set Programming (CASP)"

  • Zobrazuji výsledky 1 - 8 z 8
Upřesnit hledání
  1. 1
    Obálka

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

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 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…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

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

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 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…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

    CASP solutions for planning in hybrid domains Autor BALDUCCINI, MARCELLO, MAGAZZENI, DANIELE, MARATEA, MARCO, LEBLANC, EMILY C.

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2017
    “…Constraint answer set programming (CASP) is an extension of answer set programming that allows for numerical constraints to be added in the rules. PDDL+…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Obálka

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

    ISSN: 2227-9717, 2227-9717
    Vydáno: Basel MDPI AG 01.07.2024
    Vydáno v Processes (01.07.2024)
    “… to the requirements of Industry 4.0. In this paper, we demonstrate how an automated wet-etch scheduling problem for the semiconductor industry can be solved by constraint answer set programming (CASP…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

    Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations Autor Garreau, Bryan, Lodeiro, Martin Dieguez, Monfroy, Eric, Stephan, Igor

    ISSN: 2375-0197
    Vydáno: IEEE 28.10.2024
    “…Constraint Answer Set Programming (CASP) combines Answer Set Programming (ASP) and Constraint Programming (CP…”
    Získat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:
  6. 6
    Obálka

    An Architecture for Reasoning in Hybrid Discrete-Continuous Domains Autor Young, Ryan David

    ISBN: 9780355070064, 0355070065
    Vydáno: ProQuest Dissertations & Theses 01.01.2017
    “…Hybrid domains are those featuring a mix of discrete and continuous variables. Recent research has resulted in sophisticated general purpose languages for…”
    Získat plný text
    Dissertation
    Přidat do oblíbených
    Uloženo v:
  7. 7
    Obálka

    PDDL+ Planning via Constraint Answer Set Programming Autor Balduccini, Marcello, Magazzeni, Daniele, Maratea, Marco

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 31.08.2016
    Vydáno v arXiv.org (31.08.2016)
    “… In this paper we present a new approach to PDDL+ planning based on Constraint Answer Set Programming (CASP), i.e…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:
  8. 8
    Obálka

    Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration Autor Balduccini, Marcello, Lierler, Yulia

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 20.12.2013
    Vydáno v arXiv.org (20.12.2013)
    “… of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming (CASP…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: