2501 search results - page 63 / 501 » Logics with Rank Operators |
145
click to vote
HIM
1997
Springer
15 years 4 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
98
Voted
AUSAI
1999
Springer
15 years 5 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
140
click to vote
RR
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
107
click to vote
TIME
2009
IEEE
15 years 7 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
136
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...