Zobrazeno 1 - 10
of 10
pro vyhledávání: '"REALE, KRISTIAN"'
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:
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
Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in th
Externí odkaz:
http://arxiv.org/abs/1108.5434
Autor:
Calimeri, Francesco, Leone, Nicola, Melissari, Giovanni, Pacenza, Francesco, Perri, Simona, Reale, Kristian, Ricca, Francesco, Zangari, Jessica
Publikováno v:
Algorithms; Mar2023, Vol. 16 Issue 3, p159, 14p
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.
Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. The successful application of ASP in a number of advanced projects, has renewed the interest in ASP-based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27a96c06cee3201aaefb598cf5d78fb3
http://hdl.handle.net/10955/1137
http://hdl.handle.net/10955/1137
Publikováno v:
Web Reasoning & Rule Systems (9783642396656); 2013, p253-258, 6p
Publikováno v:
Applications of Declarative Programming & Knowledge Management: 19th International Conference, INAP 2011 & 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers; 2013, p345-364, 20p
Publikováno v:
Datalog in Academia & Industry; 2012, p81-85, 5p
Publikováno v:
KI: Künstliche Intelligenz; Aug2018, Vol. 32 Issue 2/3, p185-186, 2p