10568 search results - page 274 / 2114 » Computer Intelligence and Formalization |
128
click to vote
EKAW
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
148
Voted
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
117
Voted
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
100
Voted
CLIMA
2007
15 years 4 months ago
2007
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
128
Voted
WSPI
2004
15 years 4 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...