967 search results - page 61 / 194 » Probabilistic Predicative Programming |
128
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
126
click to vote
ASP
2003
Springer
15 years 6 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
142
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
109
click to vote
ECSQARU
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
109
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...