8232 search results - page 49 / 1647 » Dynamic Logic Programming |
93
Voted
EUSFLAT
2009
14 years 12 months ago
2009
126
click to vote
CONCUR
2004
Springer
15 years 7 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.
130
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
109
Voted
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
123
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...