2496 search results - page 80 / 500 » On covering by translates of a set |
110
click to vote
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
109
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
106
click to vote
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
105
click to vote
AAAI
2008
15 years 2 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
114
click to vote
HAIS
2008
Springer
15 years 29 days ago
2008
Springer
Abstract. Functional Magnetic Resonance Imaging (fMRI) data is collected ceaselessly during brain research, which implicates some important information. It need to be extracted and...