Toggle navigation
Add Resource
About
FAQ
Planning & Scheduling
Artificial Intelligence
Applications (264)
Agriculture & Natural Resources (1)
Architecture & Design (3)
Art (5)
Assistive Technologies (1)
Astronomy & Space Exploration (8)
Automatic Programming (14)
Automotive Industry (4)
Autonomous Vehicles (2)
Aviation (5)
Banking & Finance (6)
Bioinformatics (79)
Biometrics (3)
Business & Manufacturing (0)
Chatbots (2)
Chemistry (4)
Decision Support Systems (0)
Earth & Atmospheric Science (5)
Engineering Design (4)
Fraud Detection (1)
Hazards & Disasters (1)
Knowledge Management (1)
Law Enforcement & Public Safety (1)
Medicine (40)
Military (6)
Music (10)
Networks (1)
Oil & Gas (1)
Politics & Foreign Relations (2)
Recommender Systems (4)
Science & Mathematics (10)
Sensors (4)
Smart Houses & Appliances (1)
Social Science (9)
Software Engineering (1)
Spam Filtering (5)
Surveillance (1)
Telecommunications (3)
Transportation & Shipping (9)
Energy (2)
Architectures and Languages (130)
Cognitive Architectures (31)
Neuroscience (7)
Problem Solving (2)
Programming Languages (53)
Simulation (33)
Education (8)
Automated Grading (0)
Intelligent Tutoring (3)
Games & Puzzles (119)
15 Puzzle (0)
Backgammon (0)
Bridge (0)
Checkers (5)
Chess (10)
Computational Game Theory (1)
Crossword Puzzles (0)
General Game Playing (1)
Go (0)
Hearts (0)
Othello (3)
Poker (5)
Scrabble (0)
Sports (0)
Video Games (27)
Interfaces (46)
Human Computer Interaction (26)
Human Robot Interaction (0)
Device Interfaces (4)
Visualization (5)
Machine Learning (960)
Clustering (65)
Data Mining (63)
Decision Tree Learning (44)
Evolutionary Algorithms (51)
Inductive Learning (9)
Learning Theory (3)
Memory-Based Learning (8)
Neural Networks (102)
Pattern Recognition (39)
Reinforcement Learning (28)
Scientific Discovery (1)
Statistical Learning Methods (28)
Natural Language (645)
Discourse & Dialogue (2)
Explanation & Argumentation (0)
Natural Language Generation (26)
Natural Language Understanding (82)
Grammars & Parsing (99)
Information Retrieval (40)
Machine Translation (35)
Question Answering (15)
Speech (51)
Text Classification (29)
Text Summarization (6)
Entity Resolution (23)
Entity & Fact Extraction (10)
Representation and Reasoning (412)
Abductive Reasoning (2)
Agents (53)
Analogical Reasoning (2)
Automated Theorem Proving (62)
Bayesian Inference (72)
Belief Revision (0)
Case-Based Reasoning (4)
Commonsense Reasoning (2)
Constraint-Based Reasoning (22)
Description Logic (2)
Design (0)
Diagrammatic Reasoning (1)
Diagrams & Models (10)
Expert Systems (3)
Fuzzy Logic (11)
Heuristic Search (9)
Logic & Formal Reasoning (12)
Metareasoning (1)
Multi-Agent Systems (26)
Nonmonotonic Logic (2)
Ontologies (22)
Planning & Scheduling (54)
Qualitative Reasoning (0)
Rule-Based Reasoning (4)
Scripts & Frames (1)
Semantic Networks (2)
Situation Calculus (0)
Spatial Reasoning (2)
Uncertainty (2)
Robotics (96)
Biologically-Inspired Robots (3)
Humanoid Robots (1)
Manipulation & Locomotion (26)
Robot Cognition (3)
Robot Perception (9)
Robot Planning & Action (6)
Sensing and Vision (295)
Face Recognition (17)
Handwriting Recognition (7)
Image Understanding (185)
Optical Character Recognition (4)
Web (120)
Semantic Web (50)
Social Networks (12)
Web Search (17)
Linked Open Data (7)
Thesauri & Vocabularies (6)
Search
Advanced Search Tips
UCPOP
Submitted by
on Jun 18 2014
2
Tweet
Suggest Revision
By:
J. Scott Penberthy, Daniel S. Weld
Project:
http://www.cs.washington.edu/ai/planning...
From:
The Planning Group, University of Washington
Paper:
http://homes.cs.washington.edu/~weld/pap...
Summary
Comments (
0
)
Resource Type:
Code
License:
Other/Unknown
Language:
Data Format:
Description
Handles universal quantification and conditional effects.
Categorized in:
Representation and Reasoning
|
Planning & Scheduling
Post comment
Cancel