DLOG
2007
14 years 1 months ago
2007
DEON
2010
Springer
14 years 2 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
GIS
2009
ACM
14 years 2 months ago
2009
ACM
GIS
2009
ACM
14 years 2 months ago
2009
ACM
GIS
2009
ACM
14 years 2 months ago
2009
ACM
Geospatial information (GI) constitutes a significant portion of available data and are a key factor in planning and decision-making in a variety of domains,such as emergency man...
GIS
2009
ACM
14 years 2 months ago
2009
ACM
In an active WSN where user queries are regularly processed, a significant proportion of nodes relay and overhear data generated by other nodes in the network. In this paper, we ...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
CSL
2009
Springer
14 years 3 months ago
2009
Springer
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...
ICLP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
ICLP
2010
Springer
14 years 3 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...