1321 search results - page 104 / 265 » Subtyping in Logical Form |
146
click to vote
AAAI
2006
15 years 7 months ago
2006
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
131
click to vote
AIPS
1998
15 years 7 months ago
1998
Casting planning problems as propositional satis ability problems has recently been shown to be an effective way of scaling up plan synthesis. Until now, the bene ts of this appro...
180
click to vote
TCSV
2008
15 years 5 months ago
2008
Congestion control of a variable bit-rate video stream crossing the Internet is crucial to ensuring the quality of the received video. When a fuzzy-logic congestion controller (FL...
138
click to vote
RR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
132
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...