AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Extending Graphplan to handle uncertainty and sensing actions
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Analyzing external conditions to improve the efficiency of HTN planning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Using a goal-driven approach to generate test cases for GUIs
Proceedings of the 21st international conference on Software engineering
Using planning graphs for solving HTN planning problems
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
CPlan: a constraint programming approach to planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Total order planning is more efficient than we thought
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The user interface as an agent environment
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Planning as constraint satisfaction: solving the planning graph by compiling it into CSP
Artificial Intelligence
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
STRPLAN: A Distributed Planner for Object-Centred Application Domains
Applied Intelligence
Dynamic Flexible Constraint Satisfaction
Applied Intelligence
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
Complexity results for standard benchmark domains in planning
Artificial Intelligence
A Temporal Planning System for Time-Optimal Planning
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
SimPlanner: An Execution-Monitoring System for Replanning in Dynamic Worlds
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Replanning in a Resource-Based Framework
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
On Reformulating Planning as Dynamic Constraint Satisfaction
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Abstraction and Reformulation in GraphPlan
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
The Oracular Constraints Method
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
STeLLa v2.0: Planning with Intermediate Goals
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Domain-Independent Online Planning for STRIPS Domains
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Incremental Local Search for Planning Problems
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Beyond the Plan-Length Criterion
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Meta-case-Based Reasoning: Using Functional Models to Adapt Case-Based Agents
ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Declarative Formalization of Strategies for Action Selection: Applications to Planning
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Answer Set Planning under Action Costs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Component-Oriented Programming as an AI-Planning Problem
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Review: Intelligent Agents for Computer Games
CG '00 Revised Papers from the Second International Conference on Computers and Games
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Integrating Function Application in State-Based Planning
KI '02 Proceedings of the 25th Annual German 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
Lagrange Multipliers for Local Search on Planning Graphs
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Dynamic Constraint Models for Planning and Scheduling Problems
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
CL '00 Proceedings of the First International Conference on Computational Logic
Resource-conscious AI planning with conjunctions and disjunctions
Acta Cybernetica
AI and agents: state of the art
AI Magazine
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
Multiobjective heuristic state-space planning
Artificial Intelligence
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Contingent planning under uncertainty via stochastic satisfiability
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Applied system simulation
Simultaneously searching for planning goals, operators, and effectors
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Propositional planning in BDI agents
Proceedings of the 2004 ACM symposium on Applied computing
Synthesis of efficient constraint-satisfaction programs
The Knowledge Engineering Review
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Applying integer programming to AI planning
The Knowledge Engineering Review
Faster constraint solving with subtypes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
A resource based framework for planning and replanning
Web Intelligence and Agent Systems
Type-Based Composition of Information Services in Large Scale Environments
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts
Artificial Intelligence Review
A SAT Approach to Query Optimization in Mediator Systems
Annals of Mathematics and Artificial Intelligence
ACM SIGART Bulletin
IEEE Intelligent Systems
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modeling educational domains in a planning framework
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Processes and continuous change in a SAT-based planner
Artificial Intelligence
A knowledge-based framework for multimedia adaptation
Applied Intelligence
A Multiagent System for the Reliable Execution of Automatically Composed Ad-hoc Processes
Autonomous Agents and Multi-Agent Systems
Evolution of Cooperative Problem Solving in an Artificial Economy
Neural Computation
From trips to telcos -- next generation service portals
BT Technology Journal
Conformant planning via heuristic forward search: a new approach
Artificial Intelligence
Strong planning under partial observability
Artificial Intelligence
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Decomposition of planning problems
AI Communications
Modelling and solving English Peg Solitaire
Computers and Operations Research
Automatic workflow verification and generation
Theoretical Computer Science
Introducing narrative principles into planning-based interactive storytelling
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Multi-Agent Coordination and Cooperation through Classical Planning
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Domain-independent temporal planning in a planning-graph-based approach
AI Communications
A competitive and cooperative approach to propositional satisfiability
Discrete Applied Mathematics - Special issue: Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto University
Using AI and semantic web technologies to attack process complexity in open systems
Knowledge-Based Systems
Knowledge-based multimedia adaptation for ubiquitous multimedia consumption
Journal of Network and Computer Applications
Planning algorithms for interactive storytelling
Computers in Entertainment (CIE) - Interactive entertainment
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Coalition Formation: From Software Agents to Robots
Journal of Intelligent and Robotic Systems
Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
ARMS: an automatic knowledge engineering tool for learning action models for AI planning
The Knowledge Engineering Review
GP-genetic planning algorithm based on planning graph
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Collaboration among a satellite swarm
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Graph-based multiagent replanning algorithm
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Generating Java unit tests with AI planning
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
An approach to efficient planning with numerical fluents and multi-criteria plan quality
Artificial Intelligence
Experiences with planning techniques for assisting software design activities
Applied Intelligence
A KEYHOLE PLAN RECOGNITION MODEL FOR ALZHEIMER'S PATIENTS: FIRST RESULTS
Applied Artificial Intelligence
Conciliating coherence and high responsiveness in interactive storytelling
Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts
Improving User Taught Task Models
UM '07 Proceedings of the 11th international conference on User Modeling
How Rude Are You?: Evaluating Politeness and Affect in Interaction
ACII '07 Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction
Probabilistic Planning in Hybrid Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Parallel Actions and Generalized Multivalued Constraints in Multivalued Planning
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
On Linear Logic Planning and Concurrency
Language and Automata Theory and Applications
A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Meta-case-based reasoning: self-improvement through self-understanding
Journal of Experimental & Theoretical Artificial Intelligence
Flexible planning using fuzzy description logics: Theory and application
Applied Soft Computing
User interface affordances in a planning representation
Human-Computer Interaction
Long-distance mutual exclusion for planning
Artificial Intelligence
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
Recent Advances in Constraints
Model-Driven Prototyping Based Requirements Elicitation
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Planning and Interaction Levels for TV Storytelling
ICIDS '08 Proceedings of the 1st Joint International Conference on Interactive Digital Storytelling: Interactive Storytelling
Constraint-Based Multi-agent Path Planning
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Primary and secondary diagnosis of multi-agent plan execution
Autonomous Agents and Multi-Agent Systems
Hierarchical Classifiers for Complex Spatio-temporal Concepts
Transactions on Rough Sets IX
Leveraging New Plans in AgentSpeak(PL)
Declarative Agent Languages and Technologies VI
A heuristic search approach to planning with temporally extended preferences
Artificial Intelligence
Task decomposition on abstract states, for planning under nondeterminism
Artificial Intelligence
The factored policy-gradient planner
Artificial Intelligence
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Reasoning about actions with imprecise and incomplete state descriptions
Fuzzy Sets and Systems
Symbolic reachability analysis for parameterized administrative role based access control
Proceedings of the 14th ACM symposium on Access control models and technologies
A novel graph based approach for automatic composition of high quality grid workflows
Proceedings of the 18th ACM international symposium on High performance distributed computing
Theoretic study of distributed graph planning
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Building Agents that Plan and Argue in a Social Context
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
An anytime approach for on-line planning
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
A Method of Software Structure Designing Based on Graph Planning
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Compact Representation of Sets of Binary Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Multivalued logic model of planning
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Regression for Classical and Nondeterministic Planning
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Combining Domain-Independent Planning and HTN Planning: The Duet Planner
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Detection of unsolvable temporal planning problems through the use of landmarks
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
International Journal of Artificial Intelligence and Soft Computing
Probabilistic Reasoning by SAT Solvers
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Forward-chaining planning in nondeterministic domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Distance estimates for planning in the discrete belief space
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Continuous time in a SAT-based planner
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Effective approaches for partial satisfaction (over-subscription) planning
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Solving concurrent Markov decision processes
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Planning with first-order temporally extended goals using heuristic search
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Constraint-Based Case-Based Planning Using Weighted MAX-SAT
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
ENLG '07 Proceedings of the Eleventh European Workshop on Natural Language Generation
Revisiting Constraint Models for Planning Problems
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
New admissible heuristics for domain-independent planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Prottle: a probabilistic temporal planner
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Simultaneous heuristic search for conjunctive subgoals
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Selection and ranking of propositional formulas for large-scale service directories
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Planning graph as a (dynamic) CSP: exploiting EBL, DDB and other CSP search techniques in Graphplan
Journal of Artificial Intelligence Research
On the compilability and expressive power of propositional planning formalisms
Journal of Artificial Intelligence Research
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
Journal of Artificial Intelligence Research
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
On reachability, relevance, and resolution in the planning as satisfiability approach
Journal of Artificial Intelligence Research
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Answer set planning under action costs
Journal of Artificial Intelligence Research
AltAltp: online parallelization of plans with heuristic state search
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
The metric-FF planning system: translating "Ignoring delete lists" to numeric state variables
Journal of Artificial Intelligence Research
VHPOP: versatile heuristic partial order planner
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Using memory to transform search on the planning graph
Journal of Artificial Intelligence Research
The deterministic part of IPC-4: an overview
Journal of Artificial Intelligence Research
Where "Ignoring delete lists" works: local search topology in planning benchmarks
Journal of Artificial Intelligence Research
mGPT: a probabilistic planner based on heuristic search
Journal of Artificial Intelligence Research
Engineering a conformant probabilistic planner
Journal of Artificial Intelligence Research
An approach to temporal planning and scheduling in domains with predictable exogenous events
Journal of Artificial Intelligence Research
Temporal planning using subgoal partitioning and resolution in SGPlan
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
Anytime point-based approximations for large POMDPs
Journal of Artificial Intelligence Research
Probabilistic planning via heuristic forward search and weighted model counting
Journal of Artificial Intelligence Research
Planning with durative actions in stochastic domains
Journal of Artificial Intelligence Research
Efficient informative sensing using multiple robots
Journal of Artificial Intelligence Research
Learning first-order definitions of functions
Journal of Artificial Intelligence Research
A critical assessment of benchmark comparison in planning
Journal of Artificial Intelligence Research
Goal recognition through goal graph analysis
Journal of Artificial Intelligence Research
The GRT planning system: backward heuristic construction in forward state-space planning
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Efficient implementation of the plan graph in STAN
Journal of Artificial Intelligence Research
Constructing conditional plans by a theorem-prover
Journal of Artificial Intelligence Research
On the use of integer programming models in AI planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Temporal planning with mutual exclusion reasoning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A new method to index and query sets
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The detection and exploitation of symmetry in planning problems
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Improving Graphplan's search with EBL & DDB techniques
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A possibilistic planner that deals with non-determinism and contingency
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Long-distance mutual exclusion for propositional planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Planning with goal utility dependencies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Planning via Petri net unfolding
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
SAT encodings of state-space reachability problems in numeric domains
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On linear logic planning and concurrency
Information and Computation
A parametric hierarchical planner for experimenting abstraction techniques
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the application of least-commitment and heuristic search in temporal planning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Generalizing GraphPlan by formulating planning as a CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Multiagent planning with partially ordered temporal plans
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Parallelizing state space plans online
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A lookahead strategy for solving large planning problems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Using available memory to transform Graphplan's search
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
'Sorry' seems to be the hardest word
CALC '09 Proceedings of the Workshop on Computational Approaches to Linguistic Creativity
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reviving partial order planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Executing reactive, model-based programs through graph-based temporal planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Over-subscription planning with numeric goals
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Integrating planning and temporal reasoning for domains with durations and time windows
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Planning and acting in partially observable stochastic domains
Artificial Intelligence
Processes and continuous change in a SAT-based planner
Artificial Intelligence
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Conformant planning via heuristic forward search: A new approach
Artificial Intelligence
Strong planning under partial observability
Artificial Intelligence
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Set-structured and cost-sharing heuristics for classical planning
Annals of Mathematics and Artificial Intelligence
Friends or foes? on planning as satisfiability and abstract CNF encodings
Journal of Artificial Intelligence Research
An artificial intelligence planning approach to manufacturing feature recognition
Computer-Aided Design
An ontological account of action in processes and plans
Knowledge-Based Systems
How routine learners can support family coordination
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Learning general Graphplan memos through static domain analysis
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Solving difficult SAT instances using greedy clique decomposition
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
HPGP: an abstraction-based framework for decision-theoretic planning
IDEAL'07 Proceedings of the 8th international conference on Intelligent data engineering and automated learning
A planner infrastructure for semantic web enabled agents
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Understanding planning tasks: domain complexity and heuristic decomposition
Understanding planning tasks: domain complexity and heuristic decomposition
A method of software structure designing based on ant colony planning
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Solving Sequential Planning Problems via Constraint Satisfaction
Fundamenta Informaticae - Methodologies for Intelligent Systems
An overview of planning under uncertainty
Artificial intelligence today
A mean-based approach for real-time planning
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Semantic web service composition testbed
Computers and Electrical Engineering
New methods for proving the impossibility to solve problems through reduction of problem spaces
Annals of Mathematics and Artificial Intelligence
The Knowledge Engineering Review
The Knowledge Engineering Review
Constraint Based Planning with Composable Substate Graphs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Partial weighted MaxSAT for optimal planning
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Heuristics for planning with SAT
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Combining reinforcement learning with symbolic planning
ALAMAS'05/ALAMAS'06/ALAMAS'07 Proceedings of the 5th , 6th and 7th European conference on Adaptive and learning agents and multi-agent systems: adaptation and multi-agent learning
A weighted CSP approach to cost-optimal planning
AI Communications
Adaptive composition of conversational services through graph planning encoding
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
On the application of planning and scheduling techniques to e-learning
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Depth first random walk based on symbolic situated action
ROCOM'06 Proceedings of the 6th WSEAS international conference on Robotics, control and manufacturing technology
Perspectives on logic-based approaches for reasoning about actions and change
Logic programming, knowledge representation, and nonmonotonic reasoning
plasp: a prototype for PDDL-based planning in ASP
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Solving efficiently Decentralized MDPs with temporal and resource constraints
Autonomous Agents and Multi-Agent Systems
Exploiting macro-actions and predicting plan length in planning as satisfiability
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Everything you always wanted to know about planning (but were afraid to ask)
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Analyzing search topology without running any search: on the connection between causal graphs and h+
Journal of Artificial Intelligence Research
Probabilistic relational planning with first order decision diagrams
Journal of Artificial Intelligence Research
The complexity of plan existence and evaluation in robabilistic domains
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
An architecture for defeasible-reasoning-based cooperative distributed planning
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Controlled reachability analysis in AI planning: theory and practice
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
Soft arc consistency applied to optimal planning
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Automated outsourcing partnership management using semantic web services
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
An agent specific planning algorithm
Expert Systems with Applications: An International Journal
An on-line approach for planning in time-limited situations
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Backward-Chaining flexible planning
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
A mixed initiative semantic web framework for process composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Flexible goal recognition via graph construction and analysis
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part II
Designing security requirements models through planning
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Case adaptation by segment replanning for case-based planning systems
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
A performance and usability comparison of automated planners for IT change planning
Proceedings of the 7th International Conference on Network and Services Management
µ-SATPLAN: Multi-agent planning as satisfiability
Knowledge-Based Systems
Planning partially for situated agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Personalization for the semantic web
Proceedings of the First international conference on Reasoning Web
SAS'05 Proceedings of the 12th international conference on Static Analysis
Experimental evaluation of pheromone models in ACOPlan
Annals of Mathematics and Artificial Intelligence
Planning in domains with derived predicates through rule-action graphs and local search
Annals of Mathematics and Artificial Intelligence
A planner-based approach to generate and analyze minimal attack graph
Applied Intelligence
Diagnosis of multi-agent plan execution
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Service composition with directories
SC'06 Proceedings of the 5th international conference on Software Composition
An efficient hybrid strategy for temporal planning
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Adaptive storytelling and story repair in a dynamic environment
ICIDS'11 Proceedings of the 4th international conference on Interactive Digital Storytelling
Automated planning for configuration changes
LISA'11 Proceedings of the 25th international conference on Large Installation System Administration
Anytime QoS optimization over the PlanGraph for web service composition
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Advanced user assistance based on AI planning
Cognitive Systems Research
Intelligent software for ecological building design
Intelligent Decision Technologies
Discovering hidden structure in factored MDPs
Artificial Intelligence
Generating diverse plans to handle unknown and partially known user preferences
Artificial Intelligence
An Empirical Analysis of Some Heuristic Features for Planning through Local Search and Action Graphs
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Planning for Reasoning with Multiple Common Sense Knowledge Bases
ACM Transactions on Interactive Intelligent Systems (TiiS) - Special Issue on Common Sense for Interactive Systems
Gearing up for effective ASP planning
Correct Reasoning
Single-player Monte-Carlo tree search for SameGame
Knowledge-Based Systems
SAS+ planning as satisfiability
Journal of Artificial Intelligence Research
Planning as satisfiability: Heuristics
Artificial Intelligence
Using satisfiability for non-optimal temporal planning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Framework for multi-agent planning and coordination in DIS
Proceedings of the Workshop at SIGGRAPH Asia
Planning with action prioritization and new benchmarks for classical planning
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
On the complexity of planning for agent teams and its implications for single agent planning
Artificial Intelligence
A survey of intelligent assistants for data analysis
ACM Computing Surveys (CSUR)
Declarative planning in procedural agent architectures
Expert Systems with Applications: An International Journal
Using Planning with Action Preference in Story Generation
Proceedings of International Conference on Advances in Mobile Computing & Multimedia
Strategic cognitive sequencing: a computational cognitive neuroscience approach
Computational Intelligence and Neuroscience - Special issue on Neurocognitive Models of Sense Making
A SAT-based approach to cost-sensitive temporally expressive planning
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios
Fundamenta Informaticae
Hi-index | 0.00 |