3441 search results - page 8 / 689 » Parallel Logic Programming Systems |
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
RR
2009
Springer
13 years 12 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
PARLE
1992
13 years 11 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
LOPSTR
2004
Springer
14 years 22 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
CONCUR
2004
Springer
14 years 23 days 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.