7167 search results - page 272 / 1434 » Answer Set Programming |
151
click to vote
LICS
1993
IEEE
15 years 6 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
113
click to vote
CSCLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
130
click to vote
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
118
click to vote
UAI
2008
15 years 3 months ago
2008
Approximate linear programming (ALP) is an efficient approach to solving large factored Markov decision processes (MDPs). The main idea of the method is to approximate the optimal...
133
click to vote
JISBD
2003
15 years 3 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...