R2D2 in a softball: the portable satellite assistant
Proceedings of the 5th international conference on Intelligent user interfaces
Reasoning about nonlinear system identification
Artificial Intelligence
Modular Models of Intelligence – Review, Limitations and Prospects
Artificial Intelligence Review
General Temporal Knowledge for Planning and Data Mining
Annals of Mathematics and Artificial Intelligence
Cognitive Maps for Planetary Rovers
Autonomous Robots
Toward Embedded Qualitative Simulation: A Specialized Computer Architecture for QSim
IEEE Intelligent Systems
Integrated Plan-Based Control of Autonomous Robots in Human Environments
IEEE Intelligent Systems
Verification of Plan Models Using UPPAAL
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Knowledge Representation in Planning: A PDDL to OCLh Translation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
A Tool Supported Structured Method for Planning Domain Acquisition
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Agents with Bounded Temporal Resources
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Decision-Theoretic Control of Planetary Rovers
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
The DD&P Robot Control Architecture (A Preliminary Report)
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Perceptual Anchoring: A Key Concept for Plan Execution in Embedded Systems
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Towards a Conceptual Representation of Actions
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A Day in an Astronaut's Life: Reflections on Advanced Planning and Scheduling Technology
IEEE Intelligent Systems
Guest Editor's Introduction: 21st Century AI-Proud, Not Smug
IEEE Intelligent Systems
Intelligent control of auxiliary ship systems
Eighteenth national conference on Artificial intelligence
Multiple agent-based autonomy for satellite constellations
Artificial Intelligence
Towards Autonomic Computing: Effective Event Management
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Performance bounds for planning in unknown terrain
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
A Suite of Tools for Debugging Distributed Autonomous Systems
Formal Methods in System Design
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Integer optimization models of AI planning problems
The Knowledge Engineering Review
The domestic robot—a friendly cognitive system takes care of your home
Ambient intelligence
The EO-1 Autonomous Science Agent
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
RPLLEARN: Extending an Autonomous Robot Control Language to Perform
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Supporting dispatchability in schedules with consumable resources
Journal of Scheduling
An Autonomous Earth-Observing Sensorweb
IEEE Intelligent Systems
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Lessons learned from autonomous sciencecraft experiment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The Soft Real-Time Agent Control Architecture
Autonomous Agents and Multi-Agent Systems
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Robot introspection through learned hidden Markov models
Artificial Intelligence
IEEE Intelligent Systems
A health-check model for autonomic systems based on a pulse monitor
The Knowledge Engineering Review
Improving Robustness of Mobile Robots Using Model-based Reasoning
Journal of Intelligent and Robotic Systems
A constraint solver for model-based engineering
AI Communications
An agent-based data-flow testing approach for Web applications
Information and Software Technology
Policy-based Coordination in PAGODA: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Logic Framework for Soft Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed management of flexible times schedules
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Airlift mission monitoring and dynamic rescheduling
Engineering Applications of Artificial Intelligence
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Industrial deployment of multi-agent technologies: review and selected case studies
Autonomous Agents and Multi-Agent Systems
Cognitive Technical Systems -- What Is the Role of Artificial Intelligence?
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Team Cooperation for Plan Recovery in Multi-agent Systems
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
A Common Basis for Agent Organisation in BDI Languages
Languages, Methodologies and Development Tools for Multi-Agent Systems
Language Constructs for Multi-agent Programming
Computational Logic in Multi-Agent Systems
Towards Automated Online Diagnosis of Robot Navigation Software
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Boolean satisfiability from theoretical hardness to practical success
Communications of the ACM - A Blind Person's Interaction with Technology
A Multiagent System for Scheduling Activities Onboard a Space System
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Generating safe assumption-based plans for partially observable, nondeterministic domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Interleaving temporal planning and execution in robotics domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Integrated AI in space: the autonomous sciencecraft on earth observing one
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Any time, complete algorithm for finding utilitarian optimal solutions to STPPs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Temporal dynamic controllability revisited
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
The deep space network scheduling problem
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
Pervasive diagnosis: the integration of diagnostic goals into production plans
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Adaptive control for autonomous underwater vehicles
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Interactive execution monitoring of agent teams
Journal of Artificial Intelligence Research
Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior
Journal of Artificial Intelligence Research
Managing temporal uncertainty through waypoint controllability
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Formal verification of diagnosability via symbolic model checking
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Executing reactive, model-based programs through graph-based temporal planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Dynamic control of plans with temporal uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Representing flexible temporal behaviors in the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Detecting and locating faults in the control software of autonomous mobile robots
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Automated Verification of Multi-Agent Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Robot introspection through learned hidden Markov models
Artificial Intelligence
Intelligent control of auxiliary ship systems
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Formal Checklists for Remote Agent Dependability
Electronic Notes in Theoretical Computer Science (ENTCS)
On agents and grids: Creating the fabric for a new generation of distributed intelligent systems
Web Semantics: Science, Services and Agents on the World Wide Web
Strong controllability of disjunctive temporal problems with uncertainty
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Bio-inspired network-centric operation and control for sensor/actuator networks
Transactions on computational systems biology VIII
A systematic agent framework for situated autonomous systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 2 - Volume 2
A multiagent architecture for controlling the Palamede satellite
Web Intelligence and Agent Systems
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Automatic generation of temporal planning domains for e-learning problems
Journal of Scheduling
The Knowledge Engineering Review
Robust fault diagnosis for atmospheric reentry vehicles: a case study
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Intrinsic hurdles in applying automated diagnosis and recovery to spacecraft
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Injecting on-board autonomy in a multi-agent system for space service providing
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Improved human-robot team performance using chaski, a human-inspired plan execution system
Proceedings of the 6th international conference on Human-robot interaction
Planning solar array operations on the international space station
ACM Transactions on Intelligent Systems and Technology (TIST)
Scheduling a single robot in a job-shop environment through precedence constraint posting
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Annals of Mathematics and Artificial Intelligence
Programming groups of rational agents
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Human-Robot interaction through mixed-initiative planning for rescue and search rovers
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
A structural characterization of temporal dynamic controllability
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Model checking agent programming languages
Automated Software Engineering
Apoptosis and self-destruct: a contribution to autonomic agents?
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Safe agents in space: lessons from the autonomous sciencecraft experiment
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Multiple representations and multi-modal reasoning in medical diagnostic systems
Artificial Intelligence in Medicine
Algorithms and limits for compact plan representations
Journal of Artificial Intelligence Research
Metrics for planetary rover planning & scheduling algorithms
Proceedings of the Workshop on Performance Metrics for Intelligent Systems
From knowledge science to symbiosis science
International Journal of Human-Computer Studies
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Robotics and artificial intelligence: A perspective on deliberation functions
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |