ASP for reasoning about actions with an EL? knowledge base

Keyphrases

• Action Language 33%
• Action Rules 33%
• Action Theory 66%
• Answer Set Programming 100%
• Causal Rule 33%
• Description Logic EL 33%
• Domain Description 33%
• Explicit Negation 33%
• Knowledge Base 100%
• Nondeterministic Actions 33%
• Reasoning about Actions 100%

Computer Science

• Action Language 33%
• Action Theory 66%
• Answer Set Programming 100%
• Description Logics 33%
• Domain Description 33%
• Knowledge Base 100%
• Negative Assertion 33%
• Reasoning about Action 100%
• Sufficient Condition 33%