5810 search results - page 189 / 1162 » An Approach to Programming Based on Concepts |
163
click to vote
IJCAI
2001
15 years 7 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
141
click to vote
FSTTCS
2007
Springer
16 years 15 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
178
click to vote
BVAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Vision is a crucial sensor. It provides a very rich collection of information about our environment. However, not everything in a visual scene is relevant for the task at...
136
click to vote
LFP
1992
15 years 7 months ago
1992
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
183
click to vote
IJCAI
2003
15 years 7 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...