Sciweavers

295 search results - page 17 / 59
» Special issue on intelligent computing theory and methodolog...
Sort
View
AI
2004
Springer
13 years 10 months ago
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
Murray Shanahan
ATAL
2007
Springer
14 years 5 months ago
Modular interpreted systems
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
Wojciech Jamroga, Thomas Ågotnes
CHI
2011
ACM
13 years 2 months ago
Understanding interaction design practices
There is an undesirable gap between HCI research aimed at influencing interaction design practice and the practitioners in question. To close this gap, we advocate a theoretical a...
Elizabeth Goodman, Erik Stolterman, Ron Wakkary
CMOT
2011
13 years 2 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur
FOCI
2007
IEEE
14 years 2 months ago
Conflict Analysis Based on Discernibility and Indiscernibility
Abstract-- The dual notions of discernibility and indiscernibility play an important role in intelligent data analysis. While discernibility focuses on the differences, the indisce...
Yiyu Yao, Yan Zhao