1027 search results - page 44 / 206 » Representing and Reasoning with Operational Semantics |
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
100
click to vote
AIMSA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we present an approach for classifying documents based on the notion of a semantic similarity and the effective representation of the content of the docume...
84
Voted
ENTCS
2008
15 years 20 days ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
149
click to vote
KR
2010
Springer
15 years 2 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
102
Voted
ICS
1999
Tsinghua U.
15 years 4 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...