39 search results - page 8 / 8 » Formalizing Workflows Using the Event Calculus |
91
Voted
AI
2004
Springer
14 years 9 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
67
Voted
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
ESWS
2008
Springer
14 years 10 months ago
2008
Springer
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
AIIDE
2008
14 years 11 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...