2638 search results - page 129 / 528 » Frameworks for Reasoning about Agent Based Systems |
117
Voted
WISE
2007
Springer
15 years 11 months ago
2007
Springer
Based on SCORM sequencing and navigation specifications, a learning management system has been developed. The system has intelligent tutoring system capabilities that allow content...
135
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotichanism is based on an abstract preference based argumentation fr...
148
Voted
FAC
2000
15 years 4 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
123
click to vote
IJCAI
2001
15 years 6 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
137
click to vote
SERA
2009
Springer
15 years 11 months ago
2009
Springer
Agent Based Web Services Market (AWSM) is a framework for agents to present and sell their capabilities as web services. Agents take certain roles and cooperate to constitute agent...