1559 search results - page 53 / 312 » The Semantics of Future and Its Use in Program Optimizations |
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
CLIMA
2007
14 years 11 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
108
click to vote
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
SEMWEB
2001
Springer
15 years 2 months ago
2001
Springer
New approaches in the Web environment are underway. These new methodologies try to leverage it from an information medium to a knowledgeable level, from a machine point of view. Th...