Semântica computacional é o estudo de como automatizar o processo de construção e raciocínio com representações de significado de expressões de linguagem natural.^[1] Consequentemente, desempenha um papel importante no processamento de linguagem natural e linguística computacional.

Alguns tópicos tradicionais de interesse são: construção de representações de significado, subespecificação semântica, resolução de anáfora,^[2]projeção de pressuposição e resolução de escopo de quantificador. Os métodos empregados geralmente se baseiam na semântica formal ou na semântica estatística. A semântica computacional tem pontos de contato com as áreas da semântica lexical (desambiguação do sentido da palavra e rotulagem do papel semântico), da semântica do discurso, da representação do conhecimento e do raciocínio automatizado (em particular, prova automatizada de teoremas). Desde 1999 existe um grupo de interesse especial da associação para linguística computacional (ACL) em semântica computacional, o SIGSEM.

• Entendimento de linguagem natural
• Web semântica

• Blackburn, P. e Bos, J. (2005), Representação e inferência para linguagem natural: um primeiro curso em semântica computacional, CSLI Publications. ISBN 1-57586-496-7.
• Bunt, H. e Muskens, R. (1999), Computação de significado, volume 1, Kluwer Publishing, Dordrecht. ISBN 1-4020-0290-4.
• Bunt, H., Muskens, R. e Thijsse, E. (2001), Computação de significado, volume 2, Kluwer Publishing, Dordrecht. ISBN 1-4020-0175-4.
• Copestake, A., Flickinger, D. P., Sag, I. A. e Pollard, C. (2005). Semântica de recursão mínima. Uma introdução. Em pesquisa sobre linguagem e computação. 3:281–332.
• Eijck, J. van e C. Unger (2010): Semântica computacional com programação funcional. Imprensa da Universidade de Cambridge. ISBN 978-0-521-75760-7
• Wilks, Y. e Charniak, E. (1976), Semântica computacional: uma introdução à inteligência artificial e compreensão da linguagem natural, Holanda do Norte, Amsterdã. ISBN 0-444-11110-7.

• Grupo de interesse especial em semântica computacional (SIGSEM) da associação de linguística computacional (ACL)
• IWCS - Workshop internacional de semântica computacional (endossado pelo SIGSEM)
• ICoS - Inferência em semântica computacional (endossado pelo SIGSEM)