5671 search results - page 837 / 1135 » A Semantic Approach to Interpolation |
167
click to vote
ICICS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
177
click to vote
KI
2007
Springer
16 years 27 days ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
156
click to vote
KI
2007
Springer
16 years 27 days ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
185
Voted
LPNMR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
173
click to vote
LTCONF
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...