A set of assertions is consistent provided they can all be true at the same time. Naive
individuals could prove consistency using the formal rules of a logical calculus, but it calls for …

An important problem that arises during the data mining process in many new emerging
application domains is mining data with temporal dependencies. One such application …

Time management is a key feature needed in any query language for web and
semistructured data. However, only recently this has been addressed by the Semantic Web …

Ce travail s' attache aux espaces pastoraux d'altitude dans la longue durée et s' intègre
dans le cadre de recherches menées en archéologie pastorale dans les Pyrénées. Il repose …

Effective clinical text processing requires accurate extraction and representation of temporal
expressions. Multiple temporal information extraction models were developed but a similar …

Aim of this paper is to introduce several aspects of time in the heterogeneous world of
Informatics and define ontologies for time in different domains of computers and their …

Incremental Conceptualization for Language Production discusses the simultaneous actions
involved in thinking and speaking, as well as the piecemeal way in which individuals …

Snark, SRI's New Automated Reasoning Kit, is a theorem prover intended for applications in
arti cial intelligence and software engineering. Snark is geared toward dealing with large …

This paper presents the architecture and functionality of a logic prover designed for question
answering. The approach transforms questions and answer passages into logic …

This paper proposes a knowledge representation model and a logic proving setting with
axioms on demand which proved to be very successful for the recognizing textual entailment …