Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
A paraconsistent semantics with contradiction support detectionDamásio, Carlos Viegas ; Pereira, Luís Moniz Furbach, Ulrich ; Dix, Jürgen ; Nerode, AnilLecture notes in computer science, 1997, p.224-243 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
REVISE: Logic programming and diagnosisDamásio, Carlos Viegas ; Pereira, Luis Moniz ; Schroeder, Michael Furbach, Ulrich ; Dix, Jürgen ; Nerode, AnilLecture notes in computer science, 1997, p.353-362 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Learning verbal transitivity using loglinear modelsMARQUES, N. M ; PEREIRA LOPES, G ; AFRA COELHO, CLecture notes in computer science, 1998, p.19-24 [Periódico revisado por pares]New York NY: Springer-VerlagTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Darwinci: Creating Bridges to CreativityPereira, Francisco C. ; Machado, Penousal ; Cardoso, Amílcar de Oliveira, Flávio MoreiraAdvances in Artificial Intelligence, 1998, p.239-248 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Abduction, argumentation and bi-disjunctive logic programsWang, Kewen ; Chen, Huowang Dix, Jürgen ; Przymusinski, Teodor C. ; Pereira, Luís MonizLecture notes in computer science, 1998, p.139-163 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
The DOTPAR project: Towards a framework supporting domain oriented tools for parallel and distributed processingCunha, José C. ; Medeiros, Pedro ; Lourenço, João ; Duarte, Vitor ; Vieira, João ; Moscão, Bruno ; Pereira, Daniel ; Vaz, Rui Bubak, Marian ; Sloot, Peter ; Hertzberger, BobHigh-Performance Computing and Networking, 1998, p.952-954 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Reasoning with prioritized defaultsGelfond, Michael ; Son, Tran Cao Dix, Jürgen ; Przymusinski, Teodor C. ; Pereira, Luís MonizLecture notes in computer science, 1998, p.164-223 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Generalizing updates: From models to programsLeite, JoÃo Alexandre ; Pereira, Luís Moniz Dix, Jürgen ; Przymusinski, Teodor C. ; Pereira, Luís MonizLecture notes in computer science, 1998, p.224-246 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Disjunctive logic programming and autoepistemic logicYuan, Li -Yan ; You, Jia -Huai ; Goebel, Randy Dix, Jürgen ; Przymusinski, Teodor C. ; Pereira, Luís MonizLecture notes in computer science, 1998, p.85-101 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
A system for abductive learning of logic programsLamma, Evelina ; Mello, Paola ; Milano, Michela ; Riguzzi, Fabrizio Dix, Jürgen ; Przymusinski, Teodor C. ; Pereira, Luís MonizLecture notes in computer science, 1998, p.102-122 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |