Reasoning about actions with temporal answer sets

Keyphrases

• Reasoning about Actions 100%
• Dynamics Linear 100%
• Linear Temporal Logic 100%
• Answer Sets 100%
• Domain Description 66%
• Temporal Constraints 33%
• Temporal Logic 33%
• Answer Set Programming 33%
• Model Checking Techniques 33%
• Logic Formulas 33%
• Bounded Model Checking 33%
• Linear Time 33%
• Propositional Dynamic Logic 33%
• Temporal Modalities 33%
• For Indexing 33%
• Regular Programs 33%
• Action Theory 33%
• Dynamic Set 33%

Computer Science

• Reasoning about Action 100%
• linear time temporal logic 100%
• Domain Description 66%
• Temporal Constraint 33%
• Model Checking 33%
• Checking Technique 33%
• Answer Set Programming 33%
• Temporal Logic 33%
• Action Theory 33%