23 citations · 66 across the 11 of their papers we have counts for
1 paper · 1 filter
Andreas Herzig, Ivan Varzinczak
Consistency check has been the only criterion for theory evaluation in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheo…