ACM Computing Surveys (CSUR)
Machine Learning
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
Intention reconsideration in complex environments
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Complexity of finite-horizon Markov decision process problems
Journal of the ACM (JACM)
The computational complexity of boolean and stochastic agent design problems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
On the expressive power of planning formalisms
Logic-based artificial intelligence
Tractable plan existence does not imply tractable plan generation
Annals of Mathematics and Artificial Intelligence
Strong bounds on the approximability of two Pspace-hard problems in propositional planning
Annals of Mathematics and Artificial Intelligence
Complexity results for standard benchmark domains in planning
Artificial Intelligence
Investigation of Different Seeding Strategies in a Genetic Planner
Proceedings of the EvoWorkshops on Applications of Evolutionary Computing
Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
ECCBR '02 Proceedings of the 6th European Conference on Advances in Case-Based Reasoning
Polynomial-Length Planning Spans the Polynomial Hierarchy
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Complexity of Multi-agent Systems Behavior
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
Beyond NP: Arc-Consistency for Quantified Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Planning under Incomplete Knowledge
CL '00 Proceedings of the First International Conference on Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
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
Optimistic and Disjunctive Agent Design Problems
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
The complexity of achievement and maintenance problems in agent-based systems
Artificial Intelligence
On the undecidability of probabilistic planning and related stochastic optimization problems
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Contingent planning under uncertainty via stochastic satisfiability
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Learning Generalized Policies from Planning Examples Using Concept Languages
Applied Intelligence
Propositional planning in BDI agents
Proceedings of the 2004 ACM symposium on Applied computing
The control of reasoning in resource-bounded agents
The Knowledge Engineering Review
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Logical Preference Representation and Combinatorial Vote
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
Learning to Solve Planning Problems Efficiently by Means of Genetic Programming
Evolutionary Computation
The complexity of agent design problems: Determinism and history dependence
Annals of Mathematics and Artificial Intelligence
A knowledge-based framework for multimedia adaptation
Applied Intelligence
Conformant planning via heuristic forward search: a new approach
Artificial Intelligence
Mapping with planning agents in the Max/MSP environment: the GO/Max language
NIME '06 Proceedings of the 2006 conference on New interfaces for musical expression
Automatic workflow verification and generation
Theoretical Computer Science
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
Phase transitions of PP-complete satisfiability problems
Discrete Applied Mathematics
PLTOOL: A knowledge engineering tool for planning and learning
The Knowledge Engineering Review
A logic-based agent that plans for extended reachability goals
Autonomous Agents and Multi-Agent Systems
The complexity of deciding reachability properties of distributed negotiation schemes
Theoretical Computer Science
Wishful search: interactive composition of data mashups
Proceedings of the 17th international conference on World Wide Web
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Learning Control Knowledge for Forward Search Planning
The Journal of Machine Learning Research
Cognitive Technical Systems -- What Is the Role of Artificial Intelligence?
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Using α-ctl to Specify Complex Planning Goals
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
A tag-based approach for the design and composition of information processing applications
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Flexible provisioning of web service workflows
ACM Transactions on Internet Technology (TOIT)
Expressivity of STRIPS-Like and HTN-Like Planning
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Directed Unfolding of Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Schemas in Directed Emergent Drama
ICIDS '08 Proceedings of the 1st Joint International Conference on Interactive Digital Storytelling: Interactive Storytelling
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
Of Mechanism Design Multiagent Planning
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Planning with Uncertainty in Action Outcomes as Linear Programming Problem
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Effective approaches for partial satisfaction (over-subscription) planning
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Duality of Actor and Character Goals in Virtual Drama
IVA '09 Proceedings of the 9th International Conference on Intelligent Virtual Agents
Genome rearrangement and planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Accuracy of admissible heuristic functions in selected planning domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
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
Model minimization, regression, and propositional STRIPS planning
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Structure and complexity in planning with unary operators
Journal of Artificial Intelligence Research
The metric-FF planning system: translating "Ignoring delete lists" to numeric state variables
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Where "Ignoring delete lists" works: local search topology in planning benchmarks
Journal of Artificial Intelligence Research
The fast downward planning system
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
The complexity of planning problems with simple causal graphs
Journal of Artificial Intelligence Research
New Islands of tractability of cost-optimal planning
Journal of Artificial Intelligence Research
The computational complexity of dominance and consistency in CP-Nets
Journal of Artificial Intelligence Research
Planning over chain causal graphs for variables with domains of size 5 Is NP-hard
Journal of Artificial Intelligence Research
The computational complexity of probabilistic planning
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Constructing conditional plans by a theorem-prover
Journal of Artificial Intelligence Research
Diagnosers and diagnosability of succinct transition systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
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
Moving containers in small terminal as STRIPS planning problem
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Scoring functions of approximation of STRIPS planning by linear programming
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Journal of Artificial Intelligence Research
Phase transitions of PP-complete satisfiability problems
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Local search topology in planning benchmarks: an empirical analysis
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Complexity of probabilistic planning under average rewards
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Computational complexity of planning with temporal goals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The computational complexity of dominance and consistency in CP-nets
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Conformant planning via heuristic forward search: A new approach
Artificial Intelligence
Trees of shortest paths vs. Steiner trees: understanding and improving delete relaxation heuristics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Planning-based configuration and management of distributed systems
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
Inference and Learning in Planning (Extended Abstract)
DS '09 Proceedings of the 12th International Conference on Discovery Science
Action Planning for Directed Model Checking of Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
Scoring functions of approximation of STRIPS planning by linear programming - block world example
WSEAS Transactions on Computers
Set-structured and cost-sharing heuristics for classical planning
Annals of Mathematics and Artificial Intelligence
The role of macros in tractable planning
Journal of Artificial Intelligence Research
Quantifying privacy in multiagent planning
Multiagent and Grid Systems - Planning in multiagent systems
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
An LP-based heuristic for optimal planning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Complexity of planning in action formalisms based on description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Composing high-level plans for declarative agent programming
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Understanding planning tasks: domain complexity and heuristic decomposition
Understanding planning tasks: domain complexity and heuristic decomposition
Causal graphs and structurally restricted planning
Journal of Computer and System Sciences
Planning with h+in theory and practice
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Optimal admissible composition of abstraction heuristics
Artificial Intelligence
Kernel functions for case-based planning
Artificial Intelligence
Strengthening Landmark Heuristics via Hitting Sets
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Linear time near-optimal planning in the blocks world
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
An average case analysis of planning
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A linear programming heuristic for optimal planning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Probabilistic propositional planning: representations and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Partial weighted MaxSAT for optimal planning
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A weighted CSP approach to cost-optimal planning
AI Communications
Implicit abstraction heuristics
Journal of Artificial Intelligence Research
Specifying and computing preferred plans
Artificial Intelligence
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
ICS'10 Proceedings of the 14th WSEAS international conference on Systems: part of the 14th WSEAS CSCC multiconference - Volume II
Planning with incomplete information
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Program model checking via action planning
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Communicating ASP and the polynomial hierarchy
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
On planning in multi-agent environment: algorithm of scene reasoning from incomplete information
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Policy analysis for Administrative Role-Based Access Control
Theoretical Computer Science
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
The complexity of plan existence and evaluation in robabilistic domains
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Finding feasible pathways in metabolic networks
PCI'05 Proceedings of the 10th Panhellenic conference on Advances in Informatics
The influence of k-dependence on the complexity of planning
Artificial Intelligence
Expert Systems with Applications: An International Journal
Automatic composition of secure workflows
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
Representing paraconsistent reasoning via quantified propositional logic
Inconsistency Tolerance
Experimental evaluation of pheromone models in ACOPlan
Annals of Mathematics and Artificial Intelligence
An action planning module based on vague knowledge extracted from past experiences
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Divide-and-Evolve: a new memetic scheme for domain-independent temporal planning
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
MABS'11 Proceedings of the 12th international conference on Multi-Agent-Based Simulation
Survey A survey of computational complexity results in systems and control
Automatica (Journal of IFAC)
Generalized planning: synthesizing plans that work for multiple environments
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Discovering hidden structure in factored MDPs
Artificial Intelligence
Applicability conditions for plans with loops: Computability results and algorithms
Artificial Intelligence
Algorithms and limits for compact plan representations
Journal of Artificial Intelligence Research
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Intelligent Service Robotics
Goal distance estimation for automated planning using neural networks and support vector machines
Natural Computing: an international journal
On the complexity of planning for agent teams and its implications for single agent planning
Artificial Intelligence
A State-Based Intention Driven Declarative Process Model
International Journal of Information System Modeling and Design
Reachability analysis for role-based administration of attributes
Proceedings of the 2013 ACM workshop on Digital identity management
Undecidability in epistemic planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Linear temporal logic and linear dynamic logic on finite traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Parameterized complexity of optimal planning: a detailed map
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Fair LTL synthesis for non-deterministic systems using strong cyclic planners
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Computing upper bounds on lengths of transition sequences
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The complexity of optimal monotonic planning: the bad, the good, and the causal graph
Journal of Artificial Intelligence Research
Limitations of acyclic causal graphs for planning
Artificial Intelligence
Hi-index | 0.01 |