488 search results - page 13 / 98 » Weighted Logics for Traces |
LFCS
2007
Springer
15 years 5 months ago
2007
Springer
71
Voted
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
ISIPTA
2005
IEEE
15 years 5 months ago
2005
IEEE
Possibilistic networks and possibilistic logic bases are important tools to deal with uncertain pieces of information. Both of them offer a compact representation of possibility ...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...