Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Representation and processing of natural languageLeonard Bolc 1934-München Hanser London New York Macmillan 1980Localização: ICMC - Inst. Ciên. Mat. Computação (68T70.01 B689r e.1 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Software engineering and knowledge engineering trends for the next decadeW. D Hurley (William D.)Singapore World Scientific River Edge, NJ c1995Localização: IF - Instituto de Física (005.1 H965s )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Natural language processing and knowledge representation language for knowledge and knowledge for languageIwa nska, ucja M. 1958-; Stuart Charles ShapiroMenlo Park, Calif AAAI Press Cambridge, Mass MIT Press c2000Localização: IME - Inst. Matemática e Estatística (QA860.C3 I96n )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Logic-based knowledge representationPeter Jackson 1948- Han Reichgelt; Frank Van HarmelenCambridge, Mass MIT Press c1989Localização: IFSC - Inst. Física de São Carlos (001.642 J13L )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Qualitative Spatial Reasoning with Topological InformationJochen RenzSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Conceptual structures theory and implementation : 7th annual workshop, Las Cruces, NM, USA, July 8-10, 1992 : proceedingsHeather D Pfeiffer; Tim Nagle; Workshop on Conceptual Graphs (7th 1992 New Mexico State University)Berlin New York Springer c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lnai v.754 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Conceputal structures theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 1998 : proceedingsInternational Conference on Conceptual Structures (6th 1998 Montpellier, France) Marie-Laure Mugnier; Michel CheinBerlin Springer London c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1453 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Learning and reasoning with complex representations PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996 : selected papersWorkshop on Reasoning with Incomplete and Changing Information (1996 Cairns, Qld.) G Antoniou (Grigoris); Aditya K Ghose; Miros±aw Truszczyânski; Workshop on Inducing Complex Representations (1996 Cairns, Qld.); Pacific Rim International Conference on Artificial Intelligence (4th 1996 Cairns, Qld.)Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1359 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Modelling spatial knowledge on a linguistic basis theory, prototype, integrationEwald Lang 1942- Kai-Uwe Carstensen 1961-; Geoffrey Simmons 1964-Berlin New York Springer-Verlag c1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lnai v.481 e.1 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Conditionals, information, and inference international workshop, WCII 2002, Hagen, Germany, May 13-15, 2002 : revised selected papersWCII 2002 (2002 Hagen, Germany) Gabriele Kern-Isberner 1956-; Wilhelm Rödder; Friedhelm KulmannBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |