Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Theory Reasoning in Connection CalculiPeter Baumgartner Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo
|
![]() |
The computer as instrumentBEYNON, Meurig ; CH'EN, Yih-Chang ; HSEU, Hsing-Wen ; MAAD, Soha ; RASMEQUAN, Suwanna ; ROE, Chris ; RUNGRATTANAUBOL, Jaratsri ; RUSS, Steve ; WARD, Ashley ; WONG, AllanLecture notes in computer science, 2001, p.476-489 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Planning as Heuristic Search: New ResultsBonet, Blai ; Geffner, Héctor Fox, Maria ; Biundo, SusanneLecture notes in computer science, 2000, p.360-372 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Livro
|
![]() |
Tractable Reasoning in Artificial IntelligenceMarco CadoliSpringer Berlin Heidelberg 1995Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Artigo
|
![]() |
A Logic for modeling decision making with dynamic preferencesDE VOS, Marina ; VERMEIR, DirkLecture notes in computer science, 2000, p.391-406 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
6 |
Material Type: Artigo de Congresso
|
![]() |
Using rhetorical structure theory and entity grids to automatically evaluate local coherence in textsMárcio de S Dias Valéria D Feltrim; Thiago Alexandre Salgueiro Pardo; International Conference on Computational Processing of the Portuguese Language - PROPOR (11. 2014 São Carlos)Lecture Notes in Artificial Intelligence Cham : Springer v. 8775, p. 232-243, 2014Cham Springer 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2517331 )(Acessar) |
7 |
Material Type: Artigo
|
![]() |
Recognition of continuous activitiesDIAZ DE LEON, Rocio ; SUCAR, L. EnriqueLecture notes in computer science, 2002, p.875-881 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
8 |
Material Type: Livro
|
![]() |
Communication and cooperation in agent systems a pragmatic theoryAfsaneh HaddachiCarbonell, G, ed; Siekmann, J, ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-Berlin Springer-Verlag 1996Localização: IFSC - Inst. Física de São Carlos (P001.5 L471 v.1056 )(Acessar) |
9 |
Material Type: Artigo
|
![]() |
The Application of Case Based Reasoning on Q&A SystemHan, Peng ; Shen, Rui-Min ; Yang, Fan ; Yang, Qiang McKay, Bob ; Slaney, JohnAI 2002: Advances in Artificial Intelligence, 2002, p.704-713 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Evaluating Embedded Machine Translation in Military Field ExercisesHolland, M. ; Schlesiger, C. ; Tate, C. White, John S.Envisioning Machine Translation in the Information Future, 2000, p.239-247 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |