3239 search results - page 366 / 648 » A Logical Process Calculus |
144
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
154
click to vote
WFLP
2000
Springer
15 years 7 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
136
click to vote
AAAI
2007
15 years 6 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
139
click to vote
ICMLA
2007
15 years 5 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
129
Voted
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...