Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
9
0

Year Published

2011
2011
2016
2016

Publication Types

Select...
3
2

Relationship

2
3

Authors

Journals

citations
Cited by 16 publications
(9 citation statements)
references
References 3 publications
0
9
0
Order By: Relevance
“…In contrast to many other constraint solving domains (e.g., the satisfiability problem), ASP provides a rich yet simple declarative modeling language in which problems up to ∆ p 3 (disjunctive optimization problems) can be expressed. ASP has proven to be efficiently applicable to many real-world applications, e.g., product configuration [95], decision support for NASA shuttle controllers [76], synthesis of multiprocessor systems [55] and industrial team building [38].…”
Section: Asp: Answer Set Programmingmentioning
confidence: 99%
“…In contrast to many other constraint solving domains (e.g., the satisfiability problem), ASP provides a rich yet simple declarative modeling language in which problems up to ∆ p 3 (disjunctive optimization problems) can be expressed. ASP has proven to be efficiently applicable to many real-world applications, e.g., product configuration [95], decision support for NASA shuttle controllers [76], synthesis of multiprocessor systems [55] and industrial team building [38].…”
Section: Asp: Answer Set Programmingmentioning
confidence: 99%
“…DLVSYSTEM, on the other hand, maintains the DLV system itself and supervises direct deployment of DLV in industrial applications by means of consulting. The main industrial applications that directly employ DLV currently are IDUM [22], an intelligent e-tourism system, and a system for Team Building at the seaport of Gioia Tauro [20], used by the transshipment company ICO BLG. For more details on applications of DLV, see [21].…”
Section: The DLV System and Its Applicationsmentioning
confidence: 99%
“…Moreover, ASP has already been used with satisfactory performance in various domains, including synthesis of multiprocessors [Ishebabi et al 2009b], decision problems [Nogueira et al 2000], reasoning tools in system biology [Irurozki et al 2011;Gebser et al 2011b], package configuration in Linux [Gebser et al 2011a], team building under complex constraints [Grasso et al 2010], and many more, with a detailed list and benchmark results available in Calimeri et al [2012].…”
Section: Answer Set Programingmentioning
confidence: 99%