1316 search results - page 181 / 264 » Intelligent Agents: Issues and Logics |
DEON
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
134
click to vote
NMR
2004
Springer
15 years 3 months ago
2004
Springer
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
ICCBR
2001
Springer
15 years 2 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...
IDEAL
2003
Springer
15 years 3 months ago
2003
Springer
This paper introduces generalisation concept from machine learning research and attempts to relate it to the evolutionary research. Fundamental concepts related to computational le...