-
1
-
-
77954885221
-
Multimodal and intuitionistic logics in simple type theory
-
C. Benzmueller and L.C. Paulson. 2010. Multimodal and intuitionistic logics in simple type theory. Logic Journal of IGPL, 18(6):881.
-
(2010)
Logic Journal of IGPL
, vol.18
, Issue.6
, pp. 881
-
-
Benzmueller, C.1
Paulson, L.C.2
-
5
-
-
57649221818
-
Integrating yago into the suggested upper merged ontology
-
IEEE
-
G. De Melo, F. Suchanek, and A. Pease. 2008. Integrating yago into the suggested upper merged ontology. In Tools with Artificial Intelligence, 2008. ICTAI'08. 20th IEEE International Conference on, volume 1, pages 190-193. IEEE.
-
(2008)
Tools With Artificial Intelligence, 2008. ICTAI'08. 20th IEEE International Conference On
, vol.1
, pp. 190-193
-
-
de Melo, G.1
Suchanek, F.2
Pease, A.3
-
6
-
-
84904670749
-
Textual inference logic: Take two. Proceedings of the Workshop on Contexts and Ontologies
-
V. De Paiva, DG Bobrow, C. Condoravdi, R. Crouch, L. Karttunen, TH King, R. Nairn, and A. Zaenen. 2007. Textual inference logic: Take two. Proceedings of the Workshop on Contexts and Ontologies, Representation and Reasoning, page 27.
-
(2007)
Representation and Reasoning
, pp. 27
-
-
de Paiva, V.1
Bobrow, D.G.2
Condoravdi, C.3
Crouch, R.4
Karttunen, L.5
King, T.H.6
Nairn, R.7
Zaenen, A.8
-
7
-
-
78650284947
-
Construção de um thesaurus eletrônico para o português do brasil
-
B. C. Dias-Da-Silva, H. R. Moraes, M. F. Oliveira, R. Hasegawa, D. A. Amorim, C. Paschoalino, and A. C. Nascimento. 2000. Construção de um thesaurus eletrônico para o português do brasil. In Processamento Computacional do Portugues escrito e falado (Propor), pages 1-10.
-
(2000)
In Processamento Computacional Do Portugues Escrito E Falado (Propor)
, pp. 1-10
-
-
Dias-Da-Silva, B.C.1
Moraes, H.R.2
Oliveira, M.F.3
Hasegawa, R.4
Amorim, D.A.5
Paschoalino, C.6
Nascimento, A.C.7
-
9
-
-
84904623401
-
-
Vampire. In, Automated Deduction CADE-16, volume 1632 of, Springer Berlin / Heidelberg
-
Harald Ganzinger, Alexandre Riazanov, and Andrei Voronkov. 1999. Vampire. In Automated Deduction CADE-16, volume 1632 of Lecture Notes in Computer Science, pages 674-674. Springer Berlin / Heidelberg.
-
(1999)
, pp. 674
-
-
Ganzinger, H.1
Riazanov, A.2
Voronkov, A.3
-
10
-
-
0029410109
-
Cyc: A large-scale investment in knowledge infrastructure
-
D.B. Lenat. 1995. Cyc: A large-scale investment in knowledge infrastructure. Communications of the ACM, 38(11):33-38.
-
(1995)
Communications of the ACM
, vol.38
, Issue.11
, pp. 33-38
-
-
Lenat, D.B.1
-
11
-
-
84904639004
-
Wordnet.pt global - extending wordnet.pt to portuguese varieties
-
Edinburgh, Scotland, July. Association for Computational Linguistics
-
Palmira Marrafa, Raquel Amaro, and Sara Mendes. 2011. Wordnet.pt global - extending wordnet.pt to portuguese varieties. In Proceedings of the First Workshop on Algorithms and Resources for Modelling of Dialects and Language Varieties, pages 70-74, Edinburgh, Scotland, July. Association for Computational Linguistics.
-
(2011)
Proceedings of the First Workshop On Algorithms and Resources For Modelling of Dialects and Language Varieties
, pp. 70-74
-
-
Marrafa, P.1
Amaro, R.2
Mendes, S.3
-
13
-
-
84904675323
-
-
br. Technical Report NILC-TR-09-10, USP, Sao Carlos, SP, Brazil
-
Carolina Scarton and Sandra Aluisio. 2009. Herança autom'atica das relaçãoes de hiperênimia para a wordnet. br. Technical Report NILC-TR-09-10, USP, Sao Carlos, SP, Brazil.
-
(2009)
Herança Autom'atica Das Relaçãoes De Hiperênimia Para a Wordnet
-
-
Scarton, C.1
Aluisio, S.2
-
14
-
-
19944431901
-
Balkanet a multilingual semantic network for the balkan languages
-
Mysore, India
-
S. Stamou, K. Oflazer, K. Pala, D. Christoudoulakis, D. Cristea, D. Tufis, S. Koeva, G. Totkov, D. Dutoit, and M. Grigoriadou. 2002. Balkanet a multilingual semantic network for the balkan languages. In Proceedings of the International Wordnet Conference, Mysore, India, pages 21-25.
-
(2002)
Proceedings of the International Wordnet Conference
, pp. 21-25
-
-
Stamou, S.1
Oflazer, K.2
Pala, K.3
Christoudoulakis, D.4
Cristea, D.5
Tufis, D.6
Koeva, S.7
Totkov, G.8
Dutoit, D.9
Grigoriadou, M.10
-
15
-
-
35148867982
-
-
Yago: A Core of Semantic Knowledge, (WWW 2007), New York, NY, USA. ACM Press
-
Fabian M. Suchanek, Gjergji Kasneci, and Gerhard Weikum. 2007. Yago: A Core of Semantic Knowledge. In 16th international World Wide Web conference (WWW 2007), New York, NY, USA. ACM Press.
-
(2007)
16th International World Wide Web Conference
-
-
Suchanek, F.M.1
Kasneci, G.2
Weikum, G.3
|