1316 search results - page 181 / 264 » Intelligent Agents: Issues and Logics |
152
click to vote
DEON
2004
Springer
15 years 11 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...
179
click to vote
LFCS
2007
Springer
16 years 13 days 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...
242
click to vote
NMR
2004
Springer
15 years 11 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...
169
click to vote
ICCBR
2001
Springer
15 years 10 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...
140
click to vote
IDEAL
2003
Springer
15 years 11 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...