1083 search results - page 118 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
131
Voted
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
137
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
125
Voted
SC
2009
ACM
15 years 9 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
128
click to vote
AUSAI
2006
Springer
15 years 6 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...
132
Voted
JSAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...