Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
The Seventh Answer Set Programming Competition: Design and ResultsGEBSER, MARTIN ; MARATEA, MARCO ; RICCA, FRANCESCOTheory and practice of logic programming, 2020-03, Vol.20 (2), p.176-204 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
|
2 |
Material Type: Artigo
|
Non-monotonic spatial reasoning with answer set programming modulo theoriesWAŁĘGA, PRZEMYSŁAW ANDRZEJ ; SCHULTZ, CARL ; BHATT, MEHULTheory and practice of logic programming, 2017-03, Vol.17 (2), p.205-225 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
3 |
Material Type: Artigo
|
The third open answer set programming competitionCALIMERI, FRANCESCO ; IANNI, GIOVAMBATTISTA ; RICCA, FRANCESCOTheory and practice of logic programming, 2014-01, Vol.14 (1), p.117-135 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
4 |
Material Type: Artigo
|
Team-building with answer set programming in the Gioia-Tauro seaportRICCA, F. ; GRASSO, G. ; ALVIANO, M. ; MANNA, M. ; LIO, V. ; IIRITANO, S. ; LEONE, N.Theory and practice of logic programming, 2012-05, Vol.12 (3), p.361-381 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
5 |
Material Type: Artigo
|
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming SystemJULIÁN-IRANZO, PASCUAL ; SÁENZ-PÉREZ, FERNANDOTheory and practice of logic programming, 2021-03, Vol.21 (2), p.264-282 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
|
6 |
Material Type: Artigo
|
Answer Set Planning: A SurveyCAO TRAN, SON ; PONTELLI, ENRICO ; BALDUCCINI, MARCELLO ; SCHAUB, TORSTENTheory and practice of logic programming, 2023-01, Vol.23 (1), p.226-298 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
An ASP-based Approach to Answering Natural Language Questions for TextsPENDHARKAR, DHRUVA ; BASU, KINJAL ; SHAKERIN, FARHAD ; GUPTA, GOPALTheory and practice of logic programming, 2022-05, Vol.22 (3), p.419-443 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
|
8 |
Material Type: Artigo
|
A review of literature on parallel constraint solvingGENT, IAN P. ; MIGUEL, IAN ; NIGHTINGALE, PETER ; MCCREESH, CIARAN ; PROSSER, PATRICK ; MOORE, NEIL C. A. ; UNSWORTH, CHRISTheory and practice of logic programming, 2018-09, Vol.18 (5-6), p.725-758 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
9 |
Material Type: Artigo
|
Dual-normal logic programs – the forgotten classFICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFANTheory and practice of logic programming, 2015-07, Vol.15 (4-5), p.495-510 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
10 |
Material Type: Artigo
|
Normative design using inductive learningCORAPI, DOMENICO ; RUSSO, ALESSANDRA ; DE VOS, MARINA ; PADGET, JULIAN ; SATOH, KENTheory and practice of logic programming, 2011-07, Vol.11 (4-5), p.783-799 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |