Zobrazeno 1 - 6
of 6
pro vyhledávání: '"GASTEIGER, PHILIP"'
Autor:
Dodaro, Carmine, Gasteiger, Philip, Reale, Kristian, Ricca, Francesco, Schekotihin, Konstantin
Publikováno v:
Theory and Practice of Logic Programming 19 (2019) 290-316
Answer Set Programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple syntax and an intuitive semantics, errors are common during the develo
Externí odkaz:
http://arxiv.org/abs/1808.00417
Autor:
Dodaro, Carmine, Gasteiger, Philip, Leone, Nicola, Musitsch, Benjamin, Ricca, Francesco, Schekotihin, Konstantin
The CDCL algorithm is the leading solution adopted by state-of-the-art solvers for SAT, SMT, ASP, and others. Experiments show that the performance of CDCL solvers can be significantly boosted by embedding domain-specific heuristics, especially on la
Externí odkaz:
http://arxiv.org/abs/1611.05190
Autor:
Gasteiger, Philip, Dodaro, Carmine, Musitsch, Benjamin, Reale, Kristian, Ricca, Francesco, Schekotihin, Konstantin
Answer Set Programming (ASP) is an expressive knowledge representation and reasoning framework. Due to its rather simple syntax paired with high-performance solvers, ASP is interesting for industrial applications. However, to err is human and thus de
Externí odkaz:
http://arxiv.org/abs/1611.04969
Autor:
Dodaro, Carmine, Gasteiger, Philip, Leone, Nicola, Musitsch, Benjamin, Ricca, Francesco, Shchekotykhin, Kostyantyn
Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partne
Externí odkaz:
http://arxiv.org/abs/1608.00730
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dodaro, Carmine, Gasteiger, Philip, Musitsch, Benjamin, Ricca, Francesco, Shchekotykhin, Kostyantyn
Publikováno v:
Computer Safety, Reliability & Security: 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings; 2015, p279-293, 15p