A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
HTN planning: complexity and expressivity
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Intelligent planning: a decomposition and abstraction based approach
Intelligent planning: a decomposition and abstraction based approach
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Non-determinism and uncertainty in the situation calculus
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Evolution of the GPGP/TÆMS domain-independent coordination framework
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Towards a Theory of Cooperative Problem Solving
MAAMAW '94 Proceedings of the 6th European Workshop on Modelling Autonomous Agents: Distributed Software Agents and Applications
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Distributed Problem Solving and Planning
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Knowledge, action, and the frame problem
Artificial Intelligence
Actions with Duration and Constraints: the Ramification Problem in Temporal Databases
ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Diagnosis of single and multi-agent plans
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A distributed framework for solving the Multiagent Plan Coordination Problem
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
An efficient algorithm for multiagent plan coordination
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Reasoning about action and cooperation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Multi-Agent Coordination and Cooperation through Classical Planning
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Automating commonsense reasoning using the event calculus
Communications of the ACM - Rural engineering development
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
On the design of social diagnosis algorithms for multi-agent teams
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Symbolic dynamic programming for first-order MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
On the logic of cooperation and propositional control
Artificial Intelligence
Artificial intelligence today
Planning under continuous time and resource uncertainty: a challenge for AI
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Game-theoretic reasoning about actions in nonmonotonic causal theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Moving on from weiser's vision of calm computing: engaging ubicomp experiences
UbiComp'06 Proceedings of the 8th international conference on Ubiquitous Computing
What planner for ambient intelligence applications?
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A semantics-based framework for context-aware services: lessons learned and challenges
UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
Ambient intelligence: A survey
ACM Computing Surveys (CSUR)
A semantic model for actions and events in ambient intelligence
Engineering Applications of Artificial Intelligence
Human-Centered planning for adaptive user situation in ambient intelligence environment
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
| Hi-index | 0.00 |
Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has advanced significantly over the last years, both from a theoretical and a practical perspective. In the light of the development towards ambient, pervasive and ubiquitous computing, this research will be tested under new, more demanding realistic conditions, stimulating the emergence of novel approaches to handle the challenges that these open, dynamic environments introduce. This paper identifies shortcomings of state-of-the-art techniques in handling the complexity of the Ambient Intelligence vision, motivated by the experience gained during the development and usage of a context-aware platform for mobile devices in dynamic environments. The paper raises research issues and discusses promising directions for realizing the objectives of near-future pervasive information systems.