AI
2005
Springer
13 years 11 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
AI
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The protein family classification problem, which consists of determining the family memberships of given unknown protein sequences, is very important for a biologist for ...
IJIS
2007
13 years 11 months ago
2007
This paper reviews recent advances in the interdisciplinary area lying between artificial intelligence and the theory of argumentation. The paper has two distinct foci: first, exam...
AC
2005
Springer
13 years 11 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
AAI
2005
13 years 11 months ago
2005
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...
SIGECOM
2008
ACM
13 years 11 months ago
2008
ACM
Prediction markets efficiently extract and aggregate the private information held by individuals about events and facts that can be publicly verified. However, facts such as the e...
KI
2006
Springer
13 years 11 months ago
2006
Springer
KI
2006
Springer
13 years 11 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
KI
2006
Springer
13 years 11 months ago
2006
Springer
KI
2006
Springer
13 years 11 months ago
2006
Springer
