. "inference, lexical database, conversational implicature"@en . "What Can Be Inferred Without Embracive World-Knowledge" . "14330" . "RIV/00216224:14330/01:00004539!RIV/2002/MSM/143302/N" . . . . "702225" . "[7863252AE5A5]" . . "100" . . "Smr\u017E, Pavel" . "0"^^ . "1"^^ . "0"^^ . "Proceedings of the Second Congress of Logic Applied to Technology" . . . "1"^^ . . . "What Can Be Inferred Without Embracive World-Knowledge"@en . "Sao Paulo" . "Sao Paulo" . . "2001-01-01+01:00"^^ . . "The paper deals with a special type of automatic reasoning - a process of inference of new facts from a knowledge base. The presented type is not based on large embracive common-sense knowledge-base and wide-ranging ontology. Rather, it takes advantage of universal lexical database in the form of semantic network and also universal hypotheses that concern conversational implicatures." . "What Can Be Inferred Without Embracive World-Knowledge" . "The paper deals with a special type of automatic reasoning - a process of inference of new facts from a knowledge base. The presented type is not based on large embracive common-sense knowledge-base and wide-ranging ontology. Rather, it takes advantage of universal lexical database in the form of semantic network and also universal hypotheses that concern conversational implicatures."@en . . "RIV/00216224:14330/01:00004539" . "Z(MSM 143300003)" . . . "Faculdade SENAC de Ciencias Exatas e Tecnologia" . "6"^^ . "What Can Be Inferred Without Embracive World-Knowledge"@en . .