4211 search results - page 326 / 843 » A formal approach to MASQ |
147
click to vote
AOSE
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an innovative multi-agent system development approach called mission-based on-demand agent generation. This approach allows agents to be dynamically composed at...
190
click to vote
IJCAI
2001
15 years 8 months ago
2001
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
167
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Comparing context of different entities is not easy at all. Since context depends on the situation of a particular entity it can be understood in different ways by various entitie...
161
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
158
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...