4573 search results - page 483 / 915 » Automated Reasoning |
276
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
157
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...
176
click to vote
ICLP
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
176
click to vote
LICS
2009
IEEE
16 years 24 days ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
191
click to vote
TPHOL
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...