AAAI
2007
14 years 1 months ago
2007
Many intelligent tutoring systems (ITSs) have been developed, deployed, assessed, and proven to facilitate learning. However, most of these systems do not generally adapt to new c...
AAAI
2007
14 years 1 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—Users increasingly manage their home and work collaborations by exploiting online applications. However, they have to deal with a fragmented view of their workspaces, because ea...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—Information can change rapidly on the web. For example, news may hint some new story starts to develop. Many more news related to the original event begin to pour in the web. Im...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Metaarguments are generated from atomic argum...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—We present a first effort to integrate NLP with ASP for autonomous agents, especially service robots, communicating with humans. We implemented a prototype system and tested it...
DALT
2009
Springer
14 years 2 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
DALT
2009
Springer
14 years 2 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
DALT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...