Showing papers on "Qualification problem published in 2017"
TL;DR: A planning system that uses defeasible argumentation to reason about context information during the construction of a plan and obtains less costly and more robust solution plans is presented.
6 citations
TL;DR: A way for creating an operator model based on event calculus, which allows solving deduction, abduction and postdiction problems, so the agent based onevent calculus is able to make its own solution and judge a trainee's solution.
5 citations