Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Encoding domain knowledge for prositional planning
Logic-based artificial intelligence
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Planning with natural actions in the situation calculus
Logic-based artificial intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Probabilistic Situation Calculus
Annals of Mathematics and Artificial Intelligence
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Annals of Mathematics and Artificial Intelligence
Planning, reasoning, and agents for non-visual navigation of tables and frames
Proceedings of the fifth international ACM conference on Assistive technologies
Directed Automated Theorem Proving
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Declarative Formalization of Strategies for Action Selection: Applications to Planning
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning about Actions in Prioritized Default Theory
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment
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
Progressive Planning for Mobile Robots (A Progress Report)
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Reasoning about Robot Actions: A Model Checking Approach
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Specific-to-general learning for temporal events
Eighteenth national conference on Artificial intelligence
Planning with a language for extended goals
Eighteenth national conference on Artificial intelligence
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Exploring artificial intelligence in the new millennium
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Learning Generalized Policies from Planning Examples Using Concept Languages
Applied Intelligence
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Identifying opportunities for automatic remote field cloning
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Applications of SHOP and SHOP2
IEEE Intelligent Systems
Inductive reasoning and chance discovery
Minds and Machines - Machine learning as experimental philosophy of science
Strong planning under partial observability
Artificial Intelligence
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)
Domain-independent temporal planning in a planning-graph-based approach
AI Communications
Planning algorithms for interactive storytelling
Computers in Entertainment (CIE) - Interactive entertainment
Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
Unsupervised pattern mining from symbolic temporal data
ACM SIGKDD Explorations Newsletter - Special issue on data mining for health informatics
ARMS: an automatic knowledge engineering tool for learning action models for AI planning
The Knowledge Engineering Review
PLTOOL: A knowledge engineering tool for planning and learning
The Knowledge Engineering Review
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
Learning Control Knowledge for Forward Search Planning
The Journal of Machine Learning Research
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Parallel Actions and Generalized Multivalued Constraints in Multivalued Planning
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Managing concurrency in temporal planning using planner-scheduler interaction
Artificial Intelligence
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
Declarative Agent Languages and Technologies VI
Task decomposition on abstract states, for planning under nondeterminism
Artificial Intelligence
Practical solution techniques for first-order MDPs
Artificial Intelligence
Verifying Social Expectations by Model Checking Truncated Paths
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Monitoring social expectations in Second Life
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
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
Combining Domain-Independent Planning and HTN Planning: The Duet Planner
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Learning in Planning with Temporally Extended Goals and Uncontrollable Events
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Automatic Animation Generation of a Teleoperated Robot Arm
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Forward-chaining planning in nondeterministic domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Bounded-Resource Reasoning as (Strong or Classical) Planning
Computational Logic in Multi-Agent Systems
Genome rearrangement and planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Validating plans in the context of processes and exogenous events
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Using domain-configurable search control for probabilistic planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Reactive planning in a motivated behavioral architecture
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Fusing procedural and declarative planning goals for nondeterministic domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Beyond classical planning: procedural control knowledge and preferences in state-of-the-art planners
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
The 3rd international planning competition: results and analysis
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
TALplanner in the third international planning competition: extensions and control rules
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Macro-FF: improving AI planning with automatically learned macro-operators
Journal of Artificial Intelligence Research
Decision-theoretic planning with non-Markovian rewards
Journal of Artificial Intelligence Research
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 planning spectrum: one, two, three, infinity
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
SHOP: simple hierarchical ordered planner
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Planning for temporally extended goals as propositional satisfiability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Compiling control knowledge into preconditions for planning in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Backdoors to typical case complexity
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automated verification: graphs, logic, and automata
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning with resources and concurrency a forward chaining approach
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Total-order planning with partially ordered subtasks
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Conditional progressive planning under uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Strong planning under partial observability
Artificial Intelligence
Translating HTNs to PDDL: a small amount of domain knowledge can go a long way
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Incremental heuristic search for planning with temporally extended goals and uncontrollable events
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Optimizing Web Service Composition While Enforcing Regulations
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Action Planning for Directed Model Checking of Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
SPIN'03 Proceedings of the 10th international conference on Model checking software
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Active learning of plans for safety and reachability goals with partial observability
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Kernel functions for case-based planning
Artificial Intelligence
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
Applying planning to interactive storytelling: Narrative control using state constraints
ACM Transactions on Intelligent Systems and Technology (TIST)
Human-aware task planning: An application to mobile robots
ACM Transactions on Intelligent Systems and Technology (TIST)
Monitoring social expectations in second life
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Automatic induction of bellman-error features for probabilistic planning
Journal of Artificial Intelligence Research
Non-Markovian control in the Situation Calculus
Artificial Intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Combining SPIN with ns-2 for protocol Optimization
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Specifying and computing preferred plans
Artificial Intelligence
Scaling up heuristic planning with relational decision trees
Journal of Artificial Intelligence Research
Anytime state-based solution methods for decision processes with non-Markovian rewards
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Infinite qualitative simulations by means of constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Implementation and comparison of solution methods for decision processes with non-markovian rewards
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Pdk: the system and its language
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A performance and usability comparison of automated planners for IT change planning
Proceedings of the 7th International Conference on Network and Services Management
Experimental evaluation of pheromone models in ACOPlan
Annals of Mathematics and Artificial Intelligence
Automated adaptation of strategic guidance in multiagent coordination
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
A rule language for modelling and monitoring social expectations in multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Automated camera planning to film robot operations
Artificial Intelligence Review
Automated verification of state sequence invariants in general game playing
Artificial Intelligence
Human-aware planning for robots embedded in ambient ecologies
Pervasive and Mobile Computing
Combining static and dynamic models for boosting forward planning
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Integrating expectation monitoring into BDI agents
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Algorithms and limits for compact plan representations
Journal of Artificial Intelligence Research
Temporal logic for process specification and recognition
Intelligent Service Robotics
A resource enhanced HTN planning approach for emergency decision-making
Applied Intelligence
Linear temporal logic and linear dynamic logic on finite traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |