1313 search results - page 5 / 263 » Prioritized Reasoning in Logic Programming |
135
Voted
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
118
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
180
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
123
Voted
IJAR
2008
15 years 1 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
89
Voted
ICLP
2001
Springer
15 years 5 months ago
2001
Springer