322 search results - page 33 / 65 » Combinations of Abstract Domains for Logic Programming |
215
Voted
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
210
click to vote
ISMVL
2010
IEEE
15 years 8 months ago
2010
IEEE
We outline DL-Media, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolo...
135
Voted
DLOG
2007
15 years 6 months ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
124
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
120
click to vote
RR
2007
Springer
15 years 10 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...