488 search results - page 13 / 98 » Weighted Logics for Traces |
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
ICALP
2010
Springer
14 years 5 days ago
2010
Springer
LPNMR
2005
Springer
14 years 27 days 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
14 years 29 days 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
14 years 26 days 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...