Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
Answer set programming and agentsDyoub, Abeer ; Costantini, Stefania ; De Gasperis, GiovanniKnowledge engineering review, 2018, Vol.33, Article e19 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
12 |
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 |
|
13 |
Material Type: Artigo
|
Machine learning of symbolic compositional rules with genetic programming: dissonance treatment in PalestrinaAnders, Torsten ; Inden, BenjaminPeerJ. Computer science, 2019-12, Vol.5, p.e244-e244, Article e244 [Periódico revisado por pares]United States: PeerJ. LtdTexto completo disponível |
|
14 |
Material Type: Artigo
|
On generalized algebraic theories and categories with familiesBezem, Marc ; Coquand, Thierry ; Dybjer, Peter ; Escardó, MartínMathematical structures in computer science, 2021-10, Vol.31 (9), p.1006-1023 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
15 |
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 |
|
16 |
Material Type: Artigo
|
Linear work suffix array constructionKÄRKKÄINEN, Juha ; SANDERS, Peter ; BURKHARDT, StefanJournal of the ACM, 2006-11, Vol.53 (6), p.918-936 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
|
17 |
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 |
|
18 |
Material Type: Artigo
|
The online laboratory: conducting experiments in a real labor marketHorton, John J. ; Rand, David G. ; Zeckhauser, Richard J.Experimental economics : a journal of the Economic Science Association, 2011-09, Vol.14 (3), p.399-425 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
19 |
Material Type: Artigo
|
Spatio-temporal model checking of vehicular movement in public transport systemsCiancia, Vincenzo ; Gilmore, Stephen ; Grilletti, Gianluca ; Latella, Diego ; Loreti, Michele ; Massink, MiekeInternational journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.289-311 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
20 |
Material Type: Artigo
|
Proto-Quipper with Dynamic LiftingFu, Peng ; Kishida, Kohei ; Ross, Neil J. ; Selinger, PeterProceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.309-334, Article 11 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |