Keyword:Reasoning about actions and change

Publications
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions Hannes Strass and Michael Thielscher In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.