Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Ata de Congresso
|
![]() |
Measure Logics for Spatial ReasoningGiritli, MehmetLecture notes in computer science, 2004, p.487-499 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
12 |
Material Type: Ata de Congresso
|
![]() |
Towards a Logical Analysis of Biochemical PathwaysDoherty, Patrick ; Kertes, Steve ; Magnusson, Martin ; Szalas, AndrzejLecture notes in computer science, 2004, p.667-679 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
13 |
Material Type: Ata de Congresso
|
![]() |
tascpl: TAS Solver for Classical Propositional LogicOjeda-Aciego, M. ; Valverde, A.Lecture notes in computer science, 2004, p.738-741 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
14 |
Material Type: Ata de Congresso
|
![]() |
The MyYapDB Deductive Database SystemFerreira, Michel ; Rocha, RicardoLecture notes in computer science, 2004, p.710-713 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
15 |
Material Type: Ata de Congresso
|
![]() |
Games for Cognitive AgentsDastani, Mehdi ; van der Torre, LeendertLecture notes in computer science, 2004, p.5-17 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
16 |
Material Type: Ata de Congresso
|
![]() |
A Heuristic Approach to Energy Saving in Ad Hoc Networksda Silva, R. I. ; Leite, J. C. B. ; Fernandez, M. P.Lecture notes in computer science, 2004, p.437-442 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
17 |
Material Type: Ata de Congresso
|
![]() |
A Social Approach to Communication in Multiagent SystemsColombetti, Marco ; Fornara, Nicoletta ; Verdicchio, MarioDeclarative Agent Languages and Technologies, 2004, p.191-220 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
18 |
Material Type: Ata de Congresso
|
![]() |
New DLV Features for Data IntegrationCalimeri, Francesco ; Citrigno, Manuela ; Cumbo, Chiara ; Faber, Wolfgang ; Leone, Nicola ; Perri, Simona ; Pfeifer, GeraldLecture notes in computer science, 2004, p.698-701 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
19 |
Material Type: Ata de Congresso
|
![]() |
Linear Logic, Partial Deduction and Cooperative Problem SolvingKüngas, Peep ; Matskin, MihhailDeclarative Agent Languages and Technologies, 2004, p.263-279 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
20 |
Material Type: Ata de Congresso
|
![]() |
Generalizing updates: From models to programsLeite, JoÃo Alexandre ; 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 |