2 search results - page 1 / 1 » Circumscription and Projection as Primitives of Logic Progra... |
65
Voted
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
139
click to vote
GLOBAL
2003
Springer
15 years 2 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...