5671 search results - page 772 / 1135 » A Semantic Approach to Interpolation |
170
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
190
Voted
WER
1998
Springer
15 years 11 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
223
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
212
Voted
LPNMR
1997
Springer
15 years 11 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
227
Voted
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. One of the key factors for effective personalization of information access is the user context. We propose a framework which integrates several critical elements that mak...