4382 search results - page 660 / 877 » Query by Semantic Example |
125
Voted
ATAL
2008
Springer
15 years 5 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...
131
Voted
ATAL
2008
Springer
15 years 5 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...
122
Voted
CIE
2008
Springer
15 years 5 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
141
click to vote
AIED
2005
Springer
15 years 5 months ago
2005
Springer
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
122
click to vote
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...