1020 search results - page 82 / 204 » Tight Semantics for Logic Programs |
110
Voted
ICLP
1991
Springer
15 years 6 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
105
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
99
Voted
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
118
Voted
INFORMATICALT
2000
15 years 2 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
112
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...