ASP for reasoning about actions with an EL? knowledge base

Keyphrases

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

Computer Science

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