Provably correct theories of action
Journal of the ACM (JACM)
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
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
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Automated test oracles for GUIs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
EMBASSI: multimodal assistance for universal access to infotainment and service infrastructures
WUAUC'01 Proceedings of the 2001 EC/NSF workshop on Universal accessibility of ubiquitous computing: providing for the elderly
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
On the expressive power of planning formalisms
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Scheduling in the situation calculus: A case study
Annals of Mathematics and Artificial Intelligence
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
STRPLAN: A Distributed Planner for Object-Centred Application Domains
Applied Intelligence
Planning and Control in Artificial Intelligence: A Unifying Perspective
Applied Intelligence
Representing Software Engineering Knowledge
Automated Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
The Ramification and Qualification Problems in Temporal Databases
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Encoding Solutions of the Frame Problem in Dynamic Logic
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Knowledge, action, and the frame problem
Artificial Intelligence
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Exploring artificial intelligence in the new millennium
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Integer optimization models of AI planning problems
The Knowledge Engineering Review
Roots of SPAR — Shared Planning and Activity Representation
The Knowledge Engineering Review
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
The representation of planning strategies
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Event calculus and temporal action logics compared
Artificial Intelligence
GOLOG and PDDL: what is the relative expressiveness?
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Advanced Engineering Informatics
On Linear Logic Planning and Concurrency
Language and Automata Theory and Applications
Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
A Fluent Calculus Semantics for ADL with Plan Constraints
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Logic-based robot control in highly dynamic domains
Robotics and Autonomous Systems
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
Learning from planner performance
Artificial Intelligence
A heuristic search approach to planning with temporally extended preferences
Artificial Intelligence
Practical solution techniques for first-order MDPs
Artificial Intelligence
GP-rush: using genetic programming to evolve solvers for the rush hour puzzle
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Planning with first-order temporally extended goals using heuristic search
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Genome rearrangement and planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
A situation-calculus semantics for an expressive fragment of PDDL
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Finding state similarities for faster planning
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
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
Compiling causal theories to successor state axioms and STRIPS-like systems
Journal of Artificial Intelligence Research
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
The metric-FF planning system: translating "Ignoring delete lists" to numeric state variables
Journal of Artificial Intelligence Research
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
The deterministic part of IPC-4: an overview
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
Marvin: a heuristic search planner with online macro-action learning
Journal of Artificial Intelligence Research
Learning partially observable deterministic action models
Journal of Artificial Intelligence Research
Planning for contingencies: a decision-based approach
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
A new logical framework for deductive planning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Representing concurrent actions in extended logic programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Towards an integration of Golog and planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On linear logic planning and concurrency
Information and Computation
Generalizing GraphPlan by formulating planning as a CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Generalizing nonlinear planning to handle complex goals and actions with context-dependent effects
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
Planning with resources and concurrency a forward chaining approach
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Dynamic semantics for tense and aspect
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Planning under uncertainty some key issues
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Reasoning about noisy sensors in the situation calculus
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
How to progress a database II: the STRIPS connection
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
What robots can do: robot programs and effective achievability
Artificial Intelligence
Event calculus and temporal action logics compared
Artificial Intelligence
Intensional dynamic programming. A Rosetta stone for structured dynamic programming
Journal of Algorithms
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
Planned and traversable play-out: a flexible method for executing scenario-based programs
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Knowledge representation for stochastic decision processes
Artificial intelligence today
A qualitative model for temporal reasoning with incomplete information
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Planning for temporally extended goals
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Planning to gather inforrnation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Artificial Intelligence
GA-FreeCell: evolving solvers for the game of FreeCell
Proceedings of the 13th annual conference on Genetic and evolutionary computation
HTN-style planning in relational POMDPs using first-order FSCs
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Expert Systems with Applications: An International Journal
Backward-Chaining flexible planning
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Deductive systems' representation and an incompleteness result in the situation calculus
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Service composition with directories
SC'06 Proceedings of the 5th international conference on Software Composition
Deriving Invariants and Constraints from Action Theories
Fundamenta Informaticae
COLIN: planning with continuous linear numeric change
Journal of Artificial Intelligence Research
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Online speedup learning for optimal planning
Journal of Artificial Intelligence Research
Action language BC: preliminary report
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Optimal delete-relaxed (and semi-relaxed) planning with conditional effects
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
Hi-index | 0.00 |