4690 search results - page 552 / 938 » An operational semantics for Scheme |
208
click to vote
AAAI
2007
15 years 10 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
218
click to vote
ATAL
2008
Springer
15 years 9 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...
204
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
183
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
220
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...