7167 search results - page 322 / 1434 » Answer Set Programming |
108
click to vote
CORR
2000
Springer
15 years 2 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...
130
click to vote
INFORMATICALT
2011
14 years 10 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...
122
click to vote
DASFAA
2011
IEEE
14 years 6 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...
132
click to vote
GPCE
2005
Springer
15 years 8 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...
126
click to vote
DAGSTUHL
2006
15 years 4 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...