2214 search results - page 303 / 443 » Complexity of Reasoning |
180
click to vote
LPNMR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
152
click to vote
MKM
2009
Springer
16 years 27 days ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
164
click to vote
PPDP
2009
Springer
16 years 27 days ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
154
click to vote
ICUIMC
2009
ACM
16 years 26 days ago
2009
ACM
Although documents have hundreds of thousands of unique words, only a small number of words are significantly useful for intelligent services. For this reason, feature extraction ...
158
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
— Leveraging research by psychologists on human decision-making, we present a human-robot decision-making problem associated with a complex task and study the corresponding joint...