2299 search results - page 43 / 460 » Logical Data Expiration |
117
Voted
ACL
2006
15 years 1 months ago
2006
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
99
Voted
TLDI
2003
ACM
15 years 5 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
RWEB
2009
Springer
15 years 7 months ago
2009
Springer
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
115
Voted
LISP
2007
15 years 11 days ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
100
click to vote
EGC
2005
Springer
15 years 6 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...