417 search results - page 57 / 84 » Results on Reasoning about Updates in Transaction Logic |
208
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
122
click to vote
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
110
click to vote
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
79
Voted
UAI
2004
15 years 1 months ago
2004
We present a major improvement to the incremental pruning algorithm for solving partially observable Markov decision processes. Our technique targets the cross-sum step of the dyn...
79
Voted
COMMA
2006
15 years 1 months ago
2006
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...