Sciweavers

2981 search results - page 276 / 597
» Answer Set Planning
Sort
View
CORR
2000
Springer
88views Education» more  CORR 2000»
15 years 4 months ago
The lexicographic closure as a revision process
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e...
Richard Booth
ORDER
2010
110views more  ORDER 2010»
15 years 3 months ago
The Complexity of Embedding Orders into Small Products of Chains
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
Olivier Raynaud, Eric Thierry
INFORMATICALT
2011
89views more  INFORMATICALT 2011»
14 years 11 months ago
Large-Scale Data Analysis Using Heuristic Methods
Estimation and modelling problems as they arise in many data analysis areas often turn out to be unstable and/or intractable by standard numerical methods. Such problems frequently...
Gintautas Dzemyda, Leonidas Sakalauskas
141
Voted
DASFAA
2011
IEEE
197views Database» more  DASFAA 2011»
14 years 8 months ago
Finding the Sites with Best Accessibilities to Amenities
Abstract. Finding the most accessible locations has a number of applications. For example, a user may want to find an accommodation that is close to different amenities such as s...
Qianlu Lin, Chuan Xiao, Muhammad Aamir Cheema, Wei...
ICDE
2008
IEEE
120views Database» more  ICDE 2008»
16 years 6 months ago
Sideways Information Passing for Push-Style Query Processing
In many modern data management settings, data is queried from a central node or nodes, but is stored at remote sources. In such a setting it is common to perform "pushstyle&qu...
Zachary G. Ives, Nicholas E. Taylor