1313 search results - page 60 / 263 » Prioritized Reasoning in Logic Programming |
148
click to vote
FCSC
2010
15 years 26 days ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
137
Voted
DALT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
112
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
147
click to vote
AAAI
2008
15 years 5 months ago
2008
Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction in this context for the completion semantics, unde...
145
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...