Toward automatic program synthesis
Communications of the ACM
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Automatic OBDD-based generation of universal plans in non-deterministic domains
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The Nature of Knowledge in an Abductive Event Calculus Planner
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Investigation of Different Seeding Strategies in a Genetic Planner
Proceedings of the EvoWorkshops on Applications of Evolutionary Computing
Ossa - A Conceptual Modelling System for Virtual Realities
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Integrating Vision Based Behaviours with an Autonomous Robot
ICVS '99 Proceedings of the First International Conference on Computer Vision Systems
Dynamics and Automaticity of Context: A Cognitive Modeling Approach
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
A Model of Explicit Context Representation and Use for Intelligent Agents
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Analysis of Agent Programs Using Action Models
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Modelling Intelligent Behaviour: The Markov Decision Process Approach
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic Programming Updating - A Guided Approach
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Application of AI to Automatically Generated Animation
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
A Formal Model for Business Process Modeling and Design
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Non-situation Calculus and Database Systems
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Reasoning about Actions in Prioritized Default Theory
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
Approach to Development of a System for Speech Interaction with an Intelligent Robot
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Consistency of Action Descriptions
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Progressive Planning for Mobile Robots (A Progress Report)
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Decision-Theoretic Control of Planetary Rovers
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Learning about Constraints by Reflection
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
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
Addressing the Qualification Problem in FLUX
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Proactive Instructions for Furniture Assembly
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Scheduling hard-realtime parallel tasks onto the processor network with wrapped mesh topology
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
To Afford or Not to Afford: A New Formalization of Affordances Toward Affordance-Based Robot Control
Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems
A Resolution-Based Proof Procedure Using Deletion-Directed Search
IEEE Transactions on Computers
Sequential Monte Carlo in reachability heuristics for probabilistic planning
Artificial Intelligence
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
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
A Fluent Calculus Semantics for ADL with Plan Constraints
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Analysis and Reuse of Plots Using Similarity and Analogy
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
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
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
A Plot-Manipulation Algebra to Support Digital Storytelling
ICEC '09 Proceedings of the 8th International Conference on Entertainment Computing
Planning and execution in incompletely specified environments
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Interacting goals and their use
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A problem reduction model for non independent subproblems
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Some considerations concerning the problem base of purposeful systems
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
An English-like language for qualitative scientific knowledge
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Decision analysis for an experimental robot with unreliable sensors
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Expressing procedural relationships in multilingual instructions
INLG '94 Proceedings of the Seventh International Workshop on Natural Language Generation
'Sorry' seems to be the hardest word
CALC '09 Proceedings of the Workshop on Computational Approaches to Linguistic Creativity
Event calculus and temporal action logics compared
Artificial Intelligence
On the logic of cooperation and propositional control
Artificial Intelligence
Understanding planning with incomplete information and sensing
Artificial Intelligence
Event relations in plan-based plot composition
Computers in Entertainment (CIE) - SPECIAL ISSUE: Games
Zuzen, a cloud-based framework for automated machinima generation
Proceedings of the International Conference on Advances in Computer Enterntainment Technology
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Controlling Narrative Generation with Planning Trajectories: The Role of Constraints
ICIDS '09 Proceedings of the 2nd Joint International Conference on Interactive Digital Storytelling: Interactive Storytelling
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
Friends or foes? on planning as satisfiability and abstract CNF encodings
Journal of Artificial Intelligence Research
Transactional agents: towards a robust multi-agent system
Transactional agents: towards a robust multi-agent system
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
Challenges for action theories
Challenges for action theories
Augmenting BDI agents with deliberative planning techniques
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Case-based plan recognition in computer games
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Schematic aspect for autonomous agent
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
A common sense theory of causation
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Compact representation of knowledge bases in ILP
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
SPIN'03 Proceedings of the 10th international conference on Model checking software
Experience management: foundations, development methodology, and internet-based applications
Experience management: foundations, development methodology, and internet-based applications
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
Affordance-based similarity measurement for entity types
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
Agent-oriented modelling: declarative or procedural?
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
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
From norms to interaction patterns: deriving protocols for agent institutions
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Exploring compact reinforcement-learning representations with linear regression
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Goals in a Formal Theory of Commonsense Psychology
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
A survey of automated deduction
Artificial intelligence today
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Challenge: Concept of system life and its application to robotics
Robotics and Autonomous Systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS
On the generality of parameter tuning in evolutionary planning
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Comparing goal-oriented and procedural service orchestration
Multiagent and Grid Systems
A general, fully distributed multi-agent planning algorithm
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Capturing and generating social behavior with the restaurant game
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
The Knowledge Engineering Review
The Knowledge Engineering Review
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Reactive reasoning and planning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
HOPPER: a hierarchical planning agent for unpredictable domains
ACSC '09 Proceedings of the Thirty-Second Australasian Conference on Computer Science - Volume 91
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Reactive reasoning and planning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
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
Refinement planning: status and prospectus
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Synthesis of reactive plans for multi-path environments
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The STRIPS assumption for planning under uncertainty
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A blackboard-based dynamic instructional planner
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Adaptive search by explanation-based learning of heuristic censors
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Learning abstraction hierarchies for problem solving
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
A hierarchical planner that generates its own hierarchies
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Learning general completable reactive plans
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Sensible planning: focusing perceptual attention
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Cost-sensitive reinforcement learning for adaptive classification and control
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Stabilizing environments to facilitate planning and activity: an engineering argument
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Cultural support for improvisation
AAAI'92 Proceedings of the tenth 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
A robust and fast action selection mechanism for planning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
Modeling interactive storytelling genres as application domains
Journal of Intelligent Information Systems
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
Scientific and Technical Information Processing
Dynamic guidance for task-based exploratory learning
AIED'11 Proceedings of the 15th international conference on Artificial intelligence in education
Autonomous Agents and Multi-Agent Systems
DEL planning and some tractable cases
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Norm-Aware Planning: Semantics and Implementation
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
A structured, probabilistic representation of action
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Integrating planning and execution in stochastic domains
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Robust planning in uncertain environments
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
The complexity of action redundancy
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Controlled reachability analysis in AI planning: theory and practice
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Agent behavior representation in INGENIAS
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
A deductive system for proving workflow models from operational procedures
Future Generation Computer Systems
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Service composition with directories
SC'06 Proceedings of the 5th international conference on Software Composition
Deriving Invariants and Constraints from Action Theories
Fundamenta Informaticae
What Defaults Can Do That Hierarchies Can't
Fundamenta Informaticae
Two people walk into a bar: dynamic multi-party social interaction with a robot agent
Proceedings of the 14th ACM international conference on Multimodal interaction
SDCTD '12 NAACL-HLT Workshop on Future Directions and Needs in the Spoken Dialog Community: Tools and Data
Using social network technology to provide e-administration services as collaborative tasks
EGOVIS'12/EDEM'12 Proceedings of the 2012 Joint international conference on Electronic Government and the Information Systems Perspective and Electronic Democracy, and Proceedings of the 2012 Joint international conference on Advancing Democracy, Government and Governance
CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
Composition method of folk-tales based on STRIPS-like framework
International Journal of Knowledge and Web Intelligence
HH-evolver: a system for domain-specific, hyper-heuristic evolution
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
I want to be your friend: establishing relations with emotionally intelligent agents
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
PyLOM: an interpreted language for planning applications
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity
A self-healing distributed pervasive health system
International Journal of Web Engineering and Technology
Comparing task-based and socially intelligent behaviour in a robot bartender
Proceedings of the 15th ACM on International conference on multimodal interaction
Contrasting meta-learning and hyper-heuristic research: the role of evolutionary algorithms
Genetic Programming and Evolvable Machines
A distributed multi-agent planning approach for automated web services composition
Web Intelligence and Agent Systems
Alan Turing and the development of Artificial Intelligence
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |
We describe a new problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proven to be true. STRIPS represents a world model as an arbi trary collection of first-order predicate calculus formulas and is designed to work with models consisting of large numbers of formulas. It employs a resolution theorem prover to answer (juestions of particular models and uses means-ends analysis to guide it to the desired goal-satisfying model.