5451 search results - page 67 / 1091 » Typed Operational Semantics |
140
click to vote
JSAI
2007
Springer
15 years 8 months ago
2007
Springer
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
163
Voted
WOA
2004
15 years 3 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
121
Voted
ENTCS
2007
15 years 2 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
106
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
135
click to vote
DALT
2003
Springer
15 years 7 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...