7167 search results - page 322 / 1434 » Answer Set Programming |
147
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
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...
181
click to vote
INFORMATICALT
2011
15 years 1 months ago
2011
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...
172
click to vote
DASFAA
2011
IEEE
14 years 10 months ago
2011
IEEE
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...
179
click to vote
GPCE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
174
Voted
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The talk focused on a grammar-based technique for identifying redundancy in program code and taking advantage of that redundancy to reduce the memory required to store an...