8232 search results - page 99 / 1647 » Dynamic Logic Programming |
131
Voted
EATCS
2000
15 years 2 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
113
click to vote
MEMBRANE
2004
Springer
15 years 8 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
124
Voted
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
140
click to vote
CIE
2010
Springer
15 years 7 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
127
Voted
AIPS
2008
15 years 5 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...