11160 search results - page 129 / 2232 » Incompleteness in a General Setting |
90
Voted
JAIR
2011
14 years 7 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
114
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
In this paper, we address the issue of joint space-time segmentation of image sequences. Typical approaches to such segmentation consider two image frames at a time, and perform t...
123
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
121
click to vote
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
109
click to vote
GRC
2008
IEEE
15 years 1 months ago
2008
IEEE
Preference analysis is a class of important tasks in multi-criteria decision making. The classical rough set theory was generalized to deal with preference analysis by replacing e...