1313 search results - page 5 / 263 » Prioritized Reasoning in Logic Programming |
APLAS
2007
ACM
14 years 2 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...
CONCUR
2004
Springer
14 years 4 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.
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
IJAR
2008
13 years 11 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...
ICLP
2001
Springer
14 years 3 months ago
2001
Springer