2638 search results - page 99 / 528 » Frameworks for Reasoning about Agent Based Systems |
172
click to vote
LWA
2004
15 years 5 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
132
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
132
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
138
click to vote
CLIMA
2010
15 years 5 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
130
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a hybrid agents based architecture that uses casebased reasoning and case-based planning systems as reasoning mechanism in deliberative BDI agents to ...