As archives contain documents that span over a long period of time, the language used to create these documents and the language used for querying the archive can diļ¬er. This diļ...
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
Logic Programs with Annotated Disjunctions and CP-logic are two diļ¬erent but related languages for expressing probabilistic information in logic programming. The paper presents a...
Although the literature contains reports of very high accuracy ļ¬gures for the recognition of named entities in text, there are still some named entity phenomena that remain probl...
The application of the multilingual knowledge encoded in Wikipedia to an openādomain CrossāLingual Question Answering system based on the Inter Lingual Index (ILI) module of Eu...