13 citations · 25 across the 6 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…