1638 search results - page 29 / 328 » A General Semantics for Evaluation Logic |
DALT
2004
Springer
15 years 3 months ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
ECOWS
2006
Springer
15 years 1 months ago
2006
Springer
Semantic Web Services are generally considered as the evolution of conventional Web Services. Semantic information included in the service descriptions enables the development of ...
CLIMA
2004
14 years 11 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...