Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Inductive Learning of Answer Set ProgramsLaw, Mark ; Russo, Alessandra ; Broda, KrysiaLogics in Artificial Intelligence, p.311-325 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A Translation-Based Approach for Revision of Argumentation FrameworksCoste-Marquis, Sylvie ; Konieczny, Sébastien ; Mailly, Jean-Guy ; Marquis, PierreLogics in Artificial Intelligence, p.397-411 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Opportunities for Argument-Centric Persuasion in Behaviour ChangeHunter, AnthonyLogics in Artificial Intelligence, p.48-61 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Relevant Closure: A New Form of Defeasible Reasoning for Description LogicsCasini, Giovanni ; Meyer, Thomas ; Moodley, Kodylan ; Nortjé, RikuLogics in Artificial Intelligence, p.92-106 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Revisiting Postulates for Inconsistency MeasuresBesnard, PhilippeLogics in Artificial Intelligence, p.383-396 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Reasoning about Dynamic Normative SystemsKnobbout, Max ; Dastani, Mehdi ; Meyer, John-Jules ChLogics in Artificial Intelligence, p.628-636 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
A Complexity Assessment for Queries Involving Sufficient and Necessary CausesCabalar, Pedro ; Fandiño, Jorge ; Fink, MichaelLogics in Artificial Intelligence, p.297-310 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
System aspmt2smt: Computing ASPMT Theories by SMT SolversBartholomew, Michael ; Lee, JoohyungLogics in Artificial Intelligence, p.529-542 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Perivascular spaces and brain waste clearance systems: relevance for neurodegenerative and cerebrovascular pathologyGouveia-Freitas, Kaylene ; Bastos-Leite, António J.Neuroradiology, 2021-10, Vol.63 (10), p.1581-1597 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Improving the Normalization of Weight Rules in Answer Set ProgramsBomanson, Jori ; Gebser, Martin ; Janhunen, TomiLogics in Artificial Intelligence, p.166-180 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |